中澤 巧爾（なかざわ こうじ）
[English]
博士（理学）
名古屋大学
大学院情報学研究科
情報システム学専攻
ソフトウェア論講座 結縁・中澤研究室
准教授
同
情報学部
コンピュータ科学科 兼務
アクセス
〒464-8601 名古屋市千種区不老町 名古屋大学 IB電子情報館南棟 561
[名古屋大学東山キャンパスマップ]
「C3(1)」の建物．地下鉄名古屋大学駅3番出口すぐです．
E-mail: knak@i.nagoya-u.ac.jp
研究
興味のあること：理論計算機科学（プログラミング言語理論，型理論，ラムダ計算）と数理論理学
[論文リスト]
教育
講義に関する最新情報はNUCT上の各講義サイトで確認してください．
2023年度に担当する講義・演習
- 論理学1,2c
（名古屋大学情報学部，2023年度秋学期）
- データ科学基礎演習B
（名古屋大学，2023年度秋学期）
過去に担当した講義・演習
- システム検証及び演習
（名古屋大学情報学部，2021-2023年度春学期）
- 論理学1,2c
（名古屋大学情報学部，2018-2022年度秋学期）
- プログラミング言語特論1,2
（名古屋大学大学院情報学研究科，2017-2023年度春学期（隔年））
- 基礎セミナー
（名古屋大学，2016-2018,2020,2021年度前期）
- 電気電子・情報工学序論
（一部，名古屋大学工学部，2016年度前期）
- 計算機プログラミング基礎及び演習(B)
（名古屋大学工学部，2015,2016年度後期）
- 計算機科学実験及演習2（ソフトウェア）
（京都大学工学部情報学科 2010-2014年度後期）
- 計算機科学実験及演習1
（京都大学工学部情報学科 2009,2010年度前期）
- 計算機科学実験及演習3（ハードウェア）
（京都大学工学部情報学科 2008年度前期）
- 計算機科学実験及演習3（ソフトウェア）
（京都大学工学部情報学科 2007年度前期）
いろいろ
終了したイベント
- ASL2022 @ Haifa, PC member, 2022.7-8.
- PPL2022 @ 東工大, プログラム委員, 2022.3.
- FLOPS2020 @ Tohoku, PC member, 2020.4.
- PPL2019 @ 花巻, プログラム委員, 2019.3.
- FLOPS2018 @ Nagoya, Local chair, 2018.6.
- IWC2016 @ Austria, PC member, 2016.9.
- SLACS2016 @ 名古屋大, お手伝い, 2016.8.
- COS2013 @ Eindhoven, PC member, 2013.6.
- LSFA2012 @ Rio de Janeiro, PC member, 2012.9.
- CL&C'12 @ Warwick, PC member, 2012.7.
- ITRS2012 @ Dubrovnik, PC member, 2012.6.
- PPL2012 @ 白浜, プログラム共同委員長, 2012.3.
- SLACS2009 @ 京都大, 世話役, 2009.8.
- PPL2009 @ 飛騨高山, プログラム委員, 2009.3.
- PPL2007 @ 加賀, 実行委員長, 2007.3.
リンク