引っ越して妹と住むようになって１ヶ月経ちました。 一人暮らしのときは明らかに今より一人でいる時間が長く、その間は常に研究のことや制作のことを考えているような状態でした。 今日昔自分で導いた証明を見て、一人で考えまくっていたころを思い出し、と…

引っ越して研究室へ行くのに電車に乗らなくてはならなくなりました。 1ヶ月定期が切れて数日研究室に行ってなかったけど、今日久しぶりに行ったらやっぱり気合入っていい感じです。 なんだかいろいろうまくいかずいろいろ予定が遅れそうなので愚痴にならない…

引っ越そうが引っ越すまいが、相変わらず家と研究室の往復を繰り返す毎日です。〜ＧＯＲＯＳＯ〜 アプレットでゲームを作るにあたって、javaのＧＵＩとしてはむしろ一般的なＳＷＩＮＧを絶対に使わずにやってやろうと頑張ってます。 ＳＷＩＮＧは遅いから。 …

引っ越してしばらく家でネットがつなげないのをいいことにしばらく書いてませんでした。 でも。また。書く。 とりあえずＧＯＲＯＳＯと研究の進行状況だけ書いておこう。〜ＧＯＲＯＳＯ〜 全体の完成度は７０％といったところかな。 プログラムはだいたい書…

ついについについについに コンピュータさんが述語を生成できるようになりました！ これまでレジュメを作るたびに自力でちくちくめんどいアルゴリズムに沿ってやっていたわけですが、これからはもうそんな必要はありません。 述語生成ってのがどういうものか…

映画好きの友達と映画館をハシゴして３本映画観て来ました。昨日だったか一昨日だったか、です。 『故郷の香り』『ベルヴィル・ランデブー』『岸辺のふたり』 どれも味があって素晴らしかったです。勉強になりました。 『故郷の香り』は中国の映画で、とにか…

昨日も昨日とて研究室でプログラムをかたかたやっていると、先生が何やら本のコピーを持ってきてくださって、参考になるのではと見せていただきました。 参考になるも何もめちゃめちゃマニアックな論理な話が載ってて、俺はここまで書かれてる本を今まで見た…

今日は昼から研究室で研究をし、夜は家でGOROSOをぽちぽち作ってました。 〜 研究 〜 導出が止まらないことはすでに知られていて、それを少しアレンジした方法で有意義な導出節だけを求めようとしても止まるとは限らないことが現在わかっています。 うまいこ…

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

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

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

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

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

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

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

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

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

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

〜研究〜 昨日はというと、こりもせずに研究室に行って延々と先生と議論してました。 いろいろ忙しそうなのに俺の研究のこと真剣に考えてくださってほんとにありがたいです。 そうそう、今日から京都へ２日ほど行ってその足で実家に帰る予定なので、父母に見…

右も左もわからないままブログなんて始めてみました。 ほんと何もわかりません。 わかるのはウェブログの略がブログなんだろうなぁってことくらい。 あ、ほんとはもうちょっとわかるけどそれくらいに思われたほうが気が楽だよね。 というわけでいろいろ教え…