宋 剛秀
ソウ タケヒデ (Takehide Soh)
更新日: 02/01
講演・口頭発表等
22
表示件数
-
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年 日本ソフトウェア科学会 プログラミング論研究会
-
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年 日本ソフトウェア科学会 プログラミング論研究会
-
日本ソフトウェア科学会第35回大会 2018年8月
-
日本ソフトウェア科学会第35回大会 2018年8月
-
The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018) 2018年6月
-
DAシンポジウム2017 2017年8月 情報処理学会システムとLSIの設計技術研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月 日本ソフトウェア科学会 プログラミング論研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月 日本ソフトウェア科学会 プログラミング論研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月 日本ソフトウェア科学会 プログラミング論研究会
-
DAシンポジウム2016 2016年9月 情報処理学会 システムとLSIの設計技術研究会(SLDM)
-
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) 2016年3月 日本ソフトウェア科学会プログラミング論研究会
-
人工知能学会 第9回AIツール入門講座 2015年12月 人工知能学会 招待有り
-
第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015) 2015年3月 日本ソフトウェア科学会プログラミング論研究会
-
第16回プログラミングおよびプログラミング言語ワークショップ 2014年3月 日本ソフトウェア科学会プログラミング論研究会
-
日本ソフトウェア科学会第30回大会 2013年9月 日本ソフトウェア科学会
-
日本ソフトウェア科学会第30回大会 2013年9月 日本ソフトウェア科学会
-
The 4th International Workshop on Pragmatics of SAT 2013年7月 PoS
-
The 4th International Workshop on Pragmatics of SAT 2013年7月 PoS
-
The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), Combined tool demo and poster session 2013年7月 SAT
-
2013年度人工知能学会全国大会 2013年6月 人工知能学会