イネムリネズミ日記

_ ぐるぐるRuby会議

卜部さんとささださんと一緒にぐるぐるRuby会議。

卜部さんもささださんも現在だけでなく、将来のこともきちんと考えていて偉いなと思った。ぼくは、毎日をへらへら過ごしていればいいなーと思っていたんだけど、ちょっと考え直しました。それが、明日、明後日へとつながっていきます。

ぐるぐるの助けになると思っている本は、以下の2冊です。他にもあったと思うけど、とりあえず。

Part I と Part II があるので、この二冊です。どちらも、後期課程のときの指導教授の棚に置いてあったのを覚えています。

_ 決定不能な会の談合

いけがみの考えた決定可能や決定不能な問題10個なんかを準備して、集まりました。他のメンバーもめいめいに決定不能問題を持ち寄りました。この会の言い出しっぺは僕じゃありません。影の主催者(というほどでもないか)の企みです。最初は 10/10 に本郷でやることになりそうです。皆で決定不能になりましょう。

審査会とかぶらなければ、出かけちゃってもいいかなーと思ってます。PCPが何かわかっていない僕はどうにかすべきです。

談合では、それぞれのメンバーが変わろうとしているような蠢きを感じました。節目なのだと思います。明日へ続く。

_ 428 Twitter off

@finalfusion さんとお会いするのかなー、ということがきっかけで、arton さんともお会いでき、@m0h1can さんにも再会できました。嬉しい。

場所は、僕の希望で四谷渋谷(428)になりました。待ち合わせ場所は、僕の希望で JR 渋谷駅ハチ公公園ハチ公前でした。僕は待ち合わせ時間の約 10 分前に到着していたにもかかわらず、うろうろしている @m0h1can さんたちを観察したりしていました。25 分もお待たせしてすみません。頭の中では、常に [A] [B] [C] の選択肢が出ていたんですが、BADEND を回避しつつ面白い展開になるように頑張っていたんです。

数学が多くの人から嫌われる原因の一つは、数学が本質的に《整然たる秩序》を重んずるものであり、いきおい官僚的になるからだろう。数学の本質は、その自由性にある。ということばもあるが、矛盾のない論理体系というものは、叛乱を武力鎮圧するようなもので、でれっとしてしまりのない数学、などというものはどうも数学の性には合わないらしい。

[『すうがくえんしゅう ー道徳教育の巻ー』小針 あき宏(あきは日見)より引用]

数学が自由であり、僕が自由な数学(プログラミングよりもずっと自由)なのが好きであるにもかかわらず、僕程度の頭では数学では飯を食っていけない現状にやきもきしていたのですが、こんなにもふっきれたぜ。

とはいえ、日曜日のハチ公前で御法川実の真似をするのは、実際、勇気がいりました。手も震えちゃったし、普通の人たちからはあからさまにめんどくさがられるし、バイヤーっぽい人たちからは「んんー、キメチャってるのか、あぁん？」と瞳孔を覗き込まれる始末(シャブでトんでる人は瞳孔が開いてます)。あなたたちの客じゃありませんから！でも、目の前をうろうろして困っている @m0h1can さんに、「モヒカンさーん」なんて助けを呼ぼうものなら、巡回しているお巡りさんに「ちょっとキミ、住所と職業は？」って警察手帳突きつけられるに決まっています。「もうダメだ、限界！」ということで、メガネかけたら arton さんが一言「いけがみさん？」ってつぶやいてくれたので助かりました。さぞ勇気のいったことでしょう。

いかれてます。落ち着きを取り戻すまで、ちょっと時間がかかりました。でもセルフコントロールできたと思う。よく頑張った。

喫茶店 TOP でとりとめもない話をしました。どれも楽しかったです。ふだんは思索の底に沈んでいて、友達としゃべらない１ヶ月とか平気であるので、久しぶりにほっとした気分を味わいました。

ゲーム 428 では、存在しない喫茶店「ロートレック」というのがでてくるのですが(ロケ地は東京都渋谷区恵比寿南の喫茶「銀座」)、この日にお邪魔した喫茶 TOP も、なんとなくそんな感じがでている場所で、僕は嬉しかったです。

たくさんのプレゼントを下さった @finalfusion さん、ありがとう。東急池上線ストラップまでいただいてしまって、こっちも何か用意すべきだったかなあと思いました。タマの着ぐるみとか(実際、428 では、ヒロインが使い終えたタマの着ぐるみを持ち帰るかどうかの判断に迫られます)。このお礼はいずれ精神的に。

目の前の岐路を踏み出すにあたって、皆から勇気をもらいました。ありがとう。

「この野郎、いい話でシめやがって」という気がしたので、むやみにアフィリエイト貼ってやる。