Friday, 17 January 2025

Global Game Jam 琉大 1/25-26

今年もやるみたい。学生偉い

消滅しそうになってた時もあったんですけどね

LLMの時代になって、少しは良くなるのか?

https://ggj2025-igda-ryukyus.peatix.com/view

Wednesday, 15 January 2025

三鷹の森ジブリ美術館

なんか、毎月10日が入場券の発売日らしく、何回か逃してたんですが、取れたので行ってきました

階段が多い建物で、割と人がいる感じ

観るものは割とあるので、ゆっくりしようと思えばゆっくりできる感じ。でも、人を選ぶ感じでもあるね

「君たちはどう生きるか」の資料も結構あって、背景画とか、コンテとか

フィルムの断片の表示とかも面白かったかな

撮影は「外からなら良いです」らしいです

Tuesday, 14 January 2025

沖縄に戻ってきました

今日は東京科学大(旧東工大)によって、渡部卓雄先生と、河西先生に少し話を聞いてきました

と言っても、特にたいした話をしたわけでもなく

というか「ちゃんと大学にいて偉い」

東大の先生とかは「大学にいない」感じが結構あってな〜

Sunday, 12 January 2025

プロシン3日目

午前中だけのゲーム関係セッション

どれだけ長い詰将棋ができるかで、75手

2048のミニ版での探索の話

この辺はプロシンっぽい話。良く質問もでてました

帰りはおとなしくホテルのバスで

Saturday, 11 January 2025

プロシン2日目

なんか、証明系関連の発表が多い

地道にプロシンで、Agdaの発表を繰り返してきた成果か?! といいつつ、みんな Agda 以外のものですが

雪も、雪かきしたところはなくなってる

学生に「論文管理何使っている?」って、聞いたら「Zotero」わかってるじゃん

お風呂も食事も結構よい

お風呂に入りつつ、発表聞きつつという正しいプロシンの使い方をやってます

Friday, 10 January 2025

プロシン初日

今回はラフォーレ那須ってわけで、新幹線で那須塩原へ

そこから、どうすればいいんだ? で、プロシンお勧めのバスは無視して

  公共バスで一軒茶屋へ

そこから16分歩くんだが、雪道か。2回ほど転びましたが、なんとか宿に到着

そのまま、発表に突入〜 今回は

 赤黒木の複数の証明方法

です。

https://ie.u-ryukyu.ac.jp/~kono/presentation/2025/kono-prosym66/presen.html

Thursday, 9 January 2025

明日からプロシン

なので、東京です

コートを忘れたので、ユニクロで買いました

傘を東京モノレールまでは持ってたのだが、ホテルについたらないことに気がついた

昼間は暖かだったが、夜はやっぱり寒いな
-