とりあえず，やろうと思いついたことはその瞬間からやることにした．この方法は，その内容の有効度について何も制約を加えていないので，あまり効率的とはいえないが，しかし今までの 「ぼーっとしている」 時間*1 の多さに比べれば (何倍も，とは言わずとも…

少々混乱中．私は悪い人なんだろうか？ (17:25 追記) わからないことの多さに嫌気が差す．ポジティブであろうとすることはかように難しい．

ということで，整数計画ソルバーで Tri-O を解くことを試みる．…データファイルの書き方がよくわからなくて 1 日経過 orz．大体わかったので，明日の夜には答が出せると思いますが．ちょっとわかっている人ならこんなこと 3 分でできるのに…と考えると劣等感…