萩原研の大学院生が幹事となり
定理証明支援系 Lean の勉強会を開催することになりました。
以下、スケジュールと（おおまかな）開催場所を掲示します。
内容は 定理証明支援系 Lean のチュートリアルの輪読です。
参加希望者は連絡ください。
ただし、原則、１回以上スピーカーをして頂きます。
開催地、千葉大学大学院理学研究科
２０１５年
１２月１７日（木）１０：３０－１７：３０
以下、
２０１６年
１月１５日（金）１０：３０－１７：３０
２月 ５日（金）１０：３０－１７：３０
２月１９日（金）１０：３０－１７：３０
３月１０日（木）１０：３０－１７：３０
３月２４日（木）１０：３０－１７：３０
アイキャッチ画像は
新幹線の車窓から眺めた富士山。
こんにちは、萩原です。
講演のお知らせです。
・ＳＩＴＡ２０１５（情報理論とその応用シンポジウム２０１５）
１１月２４～２７日
岡山県 下電ホテル
・実験計画法と符号および関連する組合せ構造 ２０１５
１２月１～３日
神奈川県 箱根水明荘
・琉球大学 談話会
１２月４日
沖縄県 琉球大学
内容は、
挿入／削除誤り訂正符号の構成について。
アイキャッチ画像は、豆腐ちゃんぷる。
本文とは関係ありません。
沖縄料理って言ったら色々あるけれど、
私の一押しはチャンポンです。
いつもは三笠で食べてるけど、
今回は別のお店のチャンポンを紹介しちゃいます。
あの我部祖河食堂のチャンポンです。
ソーキそばを創った店として知られる「我部祖河食堂」。
有名店です。
なのに、なのに、
そばじゃなくてチャンポン食ってやったって話。
店内に掲示されていたポスター。
ほら、一押しはソーキそば。
なのに、なのに、
そばじゃなくてチャンポン食ってやったって話。
長女なんて、重装備しちゃってるよ。
空飛びそうだよ。
で、これがチャンポン。
左側の野菜たっぷりなご飯ものがチャンポンです。
ね、三笠のチャンポンと全然違うでしょ。
三笠だと、基本、玉ねぎとひき肉のご飯乗せですからね。
我部祖河食堂のチャンポンは、
もやしがシャキシャキしてて
美味しかったです。
三笠に比べて大人っぽい味。
（三笠は子供でも楽しめる味ってこと。）
なんで、三笠軸なのって話よ。
