×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
西牟田 祐樹
ニシムタ ユウキ (Yuki Nishimuta)
更新日: 2021/09/27
ホーム
研究キーワード
研究分野
経歴
学歴
論文
MISC
講演・口頭発表等
担当経験のある科目(授業)
研究キーワード
8
論理学史
型理論
数理論理学
圏論
証明論
ラムダ計算
論理結合子
線形論理
メニュー
マイポータル
研究ブログ
資料公開
フォロー一覧
まだ誰もフォローしていません。
{{follow.Related.user_name_ja}}
{{follow.Related.modified}} 更新
もっとみる