今年もやるみたい。学生偉い
消滅しそうになってた時もあったんですけどね
LLMの時代になって、少しは良くなるのか?
https://ggj2025-igda-ryukyus.peatix.com/view
Seeker's eye
Friday, 17 January 2025
Wednesday, 15 January 2025
三鷹の森ジブリ美術館
なんか、毎月10日が入場券の発売日らしく、何回か逃してたんですが、取れたので行ってきました
階段が多い建物で、割と人がいる感じ
観るものは割とあるので、ゆっくりしようと思えばゆっくりできる感じ。でも、人を選ぶ感じでもあるね
「君たちはどう生きるか」の資料も結構あって、背景画とか、コンテとか
フィルムの断片の表示とかも面白かったかな
撮影は「外からなら良いです」らしいです
階段が多い建物で、割と人がいる感じ
観るものは割とあるので、ゆっくりしようと思えばゆっくりできる感じ。でも、人を選ぶ感じでもあるね
「君たちはどう生きるか」の資料も結構あって、背景画とか、コンテとか
フィルムの断片の表示とかも面白かったかな
撮影は「外からなら良いです」らしいです
Tuesday, 14 January 2025
沖縄に戻ってきました
今日は東京科学大(旧東工大)によって、渡部卓雄先生と、河西先生に少し話を聞いてきました
と言っても、特にたいした話をしたわけでもなく
というか「ちゃんと大学にいて偉い」
東大の先生とかは「大学にいない」感じが結構あってな〜
と言っても、特にたいした話をしたわけでもなく
というか「ちゃんと大学にいて偉い」
東大の先生とかは「大学にいない」感じが結構あってな〜
Sunday, 12 January 2025
Saturday, 11 January 2025
プロシン2日目
なんか、証明系関連の発表が多い
地道にプロシンで、Agdaの発表を繰り返してきた成果か?! といいつつ、みんな Agda 以外のものですが
雪も、雪かきしたところはなくなってる
学生に「論文管理何使っている?」って、聞いたら「Zotero」わかってるじゃん
お風呂も食事も結構よい
お風呂に入りつつ、発表聞きつつという正しいプロシンの使い方をやってます
地道にプロシンで、Agdaの発表を繰り返してきた成果か?! といいつつ、みんな Agda 以外のものですが
雪も、雪かきしたところはなくなってる
学生に「論文管理何使っている?」って、聞いたら「Zotero」わかってるじゃん
お風呂も食事も結構よい
お風呂に入りつつ、発表聞きつつという正しいプロシンの使い方をやってます
Friday, 10 January 2025
プロシン初日
今回はラフォーレ那須ってわけで、新幹線で那須塩原へ
そこから、どうすればいいんだ? で、プロシンお勧めのバスは無視して
公共バスで一軒茶屋へ
そこから16分歩くんだが、雪道か。2回ほど転びましたが、なんとか宿に到着
そのまま、発表に突入〜 今回は
赤黒木の複数の証明方法
です。
https://ie.u-ryukyu.ac.jp/~kono/presentation/2025/kono-prosym66/presen.html
そこから、どうすればいいんだ? で、プロシンお勧めのバスは無視して
公共バスで一軒茶屋へ
そこから16分歩くんだが、雪道か。2回ほど転びましたが、なんとか宿に到着
そのまま、発表に突入〜 今回は
赤黒木の複数の証明方法
です。
https://ie.u-ryukyu.ac.jp/~kono/presentation/2025/kono-prosym66/presen.html
Thursday, 9 January 2025
Subscribe to:
Posts (Atom)