中澤 巧爾（なかざわ こうじ）

博士（理学）

京都大学 大学院情報学研究科 知能情報学専攻 助教

同 工学部情報学科 計算機科学コース 兼担

連絡先

606-8501 京都市左京区吉田本町

京都大学 大学院情報学研究科 知能情報学専攻 ソフトウェア基礎論分野（鹿島研究室）

（研究協力：通信情報システム専攻 計算機ソフトウェア分野（五十嵐・末永研究室））

[アクセスなど]

knak@kuis.kyoto-u.ac.jp

いろいろ

• 論文リスト
• COS2013, PC member, June 2013.
• LSFA2012, PC member, September 2012.
• CL&C'12, PC member, July 2012.
• ITRS2012, PC member, June 2012.
• PPL2012, プログラム共同委員長, 2012.3.8-10.
• SLACS 2009, 世話役, 2009.8.31-9.1.
• PPL2009, プログラム委員, 2009.3.
• PPL2007, 実行委員長, 2007.3.
• 計算機科学実験及演習2（ソフトウェア）（2010-2014年度後期）
• 計算機科学実験及演習1（2009,2010年度前期）
• 計算機科学実験及演習3（ハードウェア）（2008年度前期）
• 計算機科学実験及演習3（ソフトウェア）（2007年度前期）

リンク

• 国立情報学研究所
• 京大理学部数学教室
• 研究者総覧内の中澤のページ