tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
florets1
yugawara
tektek
zhanpon
名古屋で集合論を勉強しているM1。あとモデル理論が好きです。最近の趣味はジョギングと、ヨーロッ...
ke_ta3
数学科、情報科学研究科を経て医学部。確率シミュレーションとか画像解析とかのお仕事もちょこちょこ...
ta_to_co
coqtokyo
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら