試験前の掃除

昼ごろ起床.

久しぶりに所属の Web ページを整理した.そんなことをしている場合じゃないような気もするが,「試験前に掃除が捗る」の亜種ね.んで,EasyChair のアカウント作る時に Web ページみたいなこと聞かれので,とりあえず無理な英語知恵を振り絞って,英語の index ぐらい用意してみた.あと,inside 以下 (要するに学内 LAN 内でしかみられないところ) に LaTeX 関係の諸々を追加.何か動きがあればその都度更新していきたい.

閑話休題.なんとなく動的型付け言語のプログラムを読んでいたが,疲れすぎる.動的型付けのメリットがよくわからん.が,まあ単純に慣れの問題だろうという気もする.

ところで,この手の静的型付けがどうとか,動的型付けがどうみたいな話をするのは,プログラマとしては厨二病,というような文言をどこかで聞いた.言い得て妙である.

それにしても,コードを書いて何か物を作ることは苦痛ではないけど,コードを書くことそれ自体は楽しくいわけではないし,自分にはあんまり向いていないような気がする.楽しそうにコード書いている人たちの気がしれない.そしてそんなに羨ましいとも思わない.プログラミング系の人たちのある種の文化というか風土というか空気が苦手なんだよね.「いやコード書くのは手段であって…」ぐらいの気分でいるが,まああんまりコード書くの得意じゃないので偉そうなこと言うのやめておこう.ただ,それよりは証明 (というか Coq ?) 書いている方が 100 倍ぐらい楽しい.「あれはコードじゃないんかい」と言われると,うーむ,という感じだが….