友人に「Zornの補題の証明が分かったときは感動したー」と煽られたので松坂本を再び読み進める．というより，私はZornの補題の証明は「どうせ使わないだろ」と判断してざっと読み飛ばしてしまっていた．そんなにいいもんだっけ？とばかりに読む（ただ，彼は…

標準出力とエラー出力の両方をファイルにリダイレクトしたければ $ ./hoge &> all_log.txt とする．実はこれは $ ./hoge > all_log.txt 2>&1 の略記で， 2>&1 が「エラー出力（ディスクリプタ2）に出るはずの文字列が標準出力（ディスクリプタ1）に出るよう…

けっこう間が空いてしまった．納豆に当たって寝込んでいた... わけではもちろんない（その後，久々に買ったばかりの納豆を食べたら「お◯め納豆ってこんなに粒大きかったっけ？」と本気で思った... よく干からび気味になってから食べてたからなぁ）．