研究計画ってどう作るものなんだろう，ということをちょっと前に考えた。こういう目標があって，そのためにはこういう問題を解決するとよくて，それはかくかくしかじかの道筋を辿ることで達成できる，というわけでこれからこういう手順で研究を進めていく。…

僕みたいな人にとっては，コンパクトハウスドルフ空間とか完備ハイティング代数なんかよりも，政府とか法律とかのほうがずっと抽象的に見えてるんじゃないか，などと思ったことがある。そういえば，竹内外史『集合とはなにか』には「政府という見たこともな…

MLG meeting に参加していたので，感想みたいなもの。前から思っていたことではあるけど，もっといろんな本や論文を読んで，論理のいろんな見え方を知りたい。多値論理と直観主義論理とか，僕が知らないだけで，もっと密接に関係しているんじゃないか，とか…

むりやり理想化を重ねて形式化したら，ピース数に対して線形時間でできることになりました。 すべてのピースに ID を振る 各ピース p の各辺について，辺の形状を符号化し，符号からピース p へのマッピングを作成する。(この前処理により，辺の形状をキーと…

国語もやりました。42+42+27+32=143。昔に比べると現代文は変わらないか少しよくなったぐらいですが，古典がだいぶ点数下がってます。古文はそもそも意味がわからなかったし，漢文は一応読めてる割に間違えすぎでした。それから全体的に「丁寧に選択肢を潰さ…

センター試験の問題を解いてみました。わりと毎年のようにやってるような気がします。解説とかここでする意味もやる気も能力もないので，個人的なことを。今年は解答時間一時間弱で 182/200 でした。180 を超えたのは模試を除くとおそらく初めてだと思います…

mimetex では \oblong で豆腐が出るらしいですよ。知らなかった。というか知ってる人いるのかな。

最近マシンの電源をオフにしている間は時計が止まってしまうようになったので、起動時に自動で同期したいという需要が発生しました。なんか調べて出てきた通りにやってもうまくいかないなあと思ったら、デフォルトでは 15 時間以上時刻がずれている場合には…

「〜を含むブックマーク」のアイコンには "↑B" みたいなのが書いてあって、「ブックマークに追加する」アイコンに "B！" が書いてある理由について。"↑B" は参照するだけだけど "B！" はブックマークに破壊的変更を加える。

適当に図書館から借りてきた UNIX の入門書的な本を昨日から読んでました。UNIX の基本的なことについて一度もまともに勉強したことがなかったので、少しは体系的に学んでおこうかと思って。で、いくつかのコマンドといくつかのオプションを新しく知ったり数…

いつからだったか研究室の X 端末でログイン時に krxvt が立ち上がるようになってたのが、 ~/.cache/sessions/ 以下を消してみたら立ち上がらなくなった。どういうことなのかよく分かってないけどまあいいか。