松崎 拓也
マツザキ タクヤ (Takuya MATSUZAKI)
更新日: 04/02
講演・口頭発表等
14
表示件数
-
3rd Conference on Artificial Intelligence and Theorem Proving, Aussois, France 2018年3月27日 招待有り
-
日本数学会2018年度年会 2018年3月19日 招待有り
-
言語処理学会第24回年次大会 チュートリアル 2018年3月12日 招待有り
-
日本科学哲学会 シンポジウム「人工知能の哲学:知能の理解と実現に挑む工学と哲学の対話」 2016年11月19日 招待有り
-
1st Conference on Artificial Intelligence and Theorem Proving, Obergurgl, Austria 2016年4月5日 招待有り
-
光通信システムシンポジウム 2015年12月17日 招待有り
-
精密工学会 画像応用技術専門委員会 定例研究会 2015年9月18日 招待有り
-
JASIS 2015 サイエンスセミナー 2015年9月3日 招待有り
-
テレコム技術情報セミナー 2015年6月26日 招待有り
-
2014年2月26日
-
筑波大学数学談話会 2013年12月5日
-
名古屋地区NLPセミナー 2013年5月29日
-
電子情報通信学会 応用音響研究会 2012年12月13日 招待有り
-
範疇文法と証明論シンポジウム 2012年7月