日曜に新宿でＴＡＫＵと会ってきました。 企画書なんかを見せたり、お互いの近況やひよこ侍のこと、今後どうしていこうかなどを話して、お互いの気持ちを確認しあい、握手で別れてきました。 高３のときにＴＡＫＵと出会ったときから俺はすでに、こいつは只…

研究室でわらわらプログラムを書いていると、音楽担当のＴＡＫＵから電話がかかってきた。 お互い忙しくてなかなか会えないでいるけど、１月中に会おうって約束をしていたもんだから、今度の日曜にでも会うことになった。 どうやらＴＡＫＵはこんな俺を信じ…

めんどうな試験監督のバイトを終え、ほっと一息つきました。 ほんとに社会のみなさまには申し訳ないと思っていますけれども、こういう誰でもできる雑用ってのは苦手で嫌いでなかなか苦痛でした。 いや、ほんと申し訳ないと思ってるんです。自由に育ちすぎた…

〜研究〜 関数を述語に変換し、導出された節が元々ある節Ｃのいずれかにおいて、変数の名前を変えるだけの操作によって（導出節のリテラルの集合）⊇（Ｃのリテラルの集合）ならばその導出節は加えない、というルールを与えて導出を繰り返せば有限回で止まる…

なんとか今年度中に学会に論文を投稿して、３月までにテスト公開でもいいからＧＯＲＯＳＯを完成させて、４月までにおしゃべり人工知能ゲームの仕様を書きたいと思ってるのにいろんな壁が立ちはだかっております。 ７の階乗は5040にもなって、８とか９とか１…

パラドックスって言葉はあんまり数学に詳しくない人でも聞いたことくらいはあるんじゃないかと思います。 パラドックスと一言でいってもいろんな種類のパラドックスがあるわけですが、要するに数学的にちょろっとおかしいことが起こっちゃうことをパラドック…

一昨日は成人の日だったので、新成人を祝福する意味も込めて家でほとんど寝て過ごしました。 あ、でもちゃんとＧＯＲＯＳＯも作ってたんだよ。 そんで昨日恐らく２００５年最初で最後の授業に行ってきました。 ろくな授業じゃなかったけど、その後研究室に行…

今日はちょろっと趣向を変えて、夕飯の前に制作をやって夕飯を終えてから研究室へ研究しに行きました。 それがどうもいけなかったのか、帰るタイミングがわからず結局午前４時くらいまで研究室にいました。ちかれたー。 研究のほうは目立った進展もないので…

さて研究室通いには昨日から復帰してるわけですが、研究のほうはというと年末から持ち越した問題をそのまま引きずった状態を再確認したあたりで止まっちゃってるような状況です。 ホワイトボードに残された先生との熱い？議論のあとも無傷で年を越していまし…

年末からの京都・富山ツアーを無事終えて千葉に帰ってきたもののどうも胃の調子がよろしくなかった。 ので、ちょろっと病院なんかにふらっと行ってみました。 なんかよく聞いてなかったけど軽い胃炎みたいなもんだろうからって薬だけ貰って数分で帰されまし…