人工知能学会から人工知能学辞典なる本が出版されました。 ２２０００円です。 自分で買うには高すぎるので、Ｔ先生に研究費で買ってもらおうと相談しに行ったら、すでに買うつもりですとのこと。 それで先日助手の先生がわざわざ俺のところにそれを持ってき…

克「これまでの内容をまとめて査読付きに投稿してみるってのはなしですかね」 ｔ先生「うん。いいと思うよ。」 っていうやり取りを初めてしてからちょうど１年くらい過ぎたのでしょうか。 ようやく今日、人工知能学会論文誌に投稿しました。 時間かかっちゃ…

大学の研究室の特攻隊長johanから夢バトンがまわってきたので書いてみたいと思います。 あんまりバトンとか得意じゃないんだけどたまにはいいかなーって。☆小さい頃の夢は? 幼稚園の頃はパトカーの運転手になりたいと言っていたそうです。 小学生低学年のと…

先日人工知能学会主催の、生ける伝説ミンスキーの講演会に行ってきました。 ニューロコンピュータを作った人として知られ、フォン・ノイマンに博士論文の査読をやってもらい、人工知能という分野を設立した一人です。 英語で話されたので英語力のない俺は１…

プリンをストローで吸いながら食べると最初は楽しいけど後で必ず後悔しますね。〜研究〜 Ｔ先生とおはなしした結果、細かい記号なんかを改めて決めて、まとめたらいよいよ論文出しましょうかってことになりました。 さてどこの学会の論文誌に投稿しよう。 電…

千葉県からやってきました克です。近況を書きます。〜製作〜 ＧＯＲＯＳＯの話。 グラフィッカのPCが壊れるなどの危機的状況に陥っています。 でもなんとかしてくれるはず。 信じてます。ていうか信じることしかできない。 グラフィック以外で出来ていないの…

ＧＯＲＯＳＯのグラフィック完成を待ちつつサーバ側のプログラムを書いてます。 いろいろうまくいかないなかで、ひよこ侍感想掲示板の書き込みを見て涙がほろり。 実際に涙が出てはいないけど、とんでもなく励みになりました。 ひよこ侍をプレイしてくれた人…

克「Ｔ先生、僕木曜日にゼミ発表なんですけど・・・」 Ｔ先生「うん。アレを発表するの？」 克「いえ、アレを発表しても誰もわからないと思うんで４年生用に簡単に概略を発表しようかと思ってるんですけど。いいですかね？」 Ｔ先生「そうだねぇ。何をやろう…

ＧＯＲＯＳＯが涙を搾り出しながら完成まで牛歩で歩み続けている中で新学期が始まっています。 すでに単位的には何もとらなくていいわけですが、履修する資格すらない授業をはじめ、３つくらい履修もせずに授業にもぐりこんでます。主に数学科の授業です。 …

かいつまんで進行状況などを。〜製作〜 誰々がおしゃべりペット楽しみにしてるらしいよ。 とかいううわさを聞いたので嬉しくなったりした。早く仕様書かねば。 GOROSOはようやくグラフィックがあがりつつあるので、一安心。と言っていいのかな・・・？ 1日も…

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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