南出 靖彦
ミナミデ ヤスヒコ (Yasuhiko Minamide)
更新日: 2024/11/19
基本情報
- 所属
- 東京科学大学 情報理工学院 教授
- 学位
-
博士(理学)(京都大学)
- 研究者番号
- 50252531
- J-GLOBAL ID
- 200901091471863029
- researchmap会員ID
- 1000162831
- 外部リンク
研究分野
1経歴
7-
2015年7月 - 現在
-
2007年8月 - 2015年7月
-
2007年8月
-
2004年4月 - 2007年7月
-
1999年1月 - 2007年7月
-
1999年1月 - 2004年3月
-
1993年 - 1998年
学歴
2-
- 1993年
-
- 1991年
委員歴
5-
2018年4月 - 現在
-
2016年4月 - 現在
-
2016年4月 - 現在
-
2014年4月 - 2018年3月
-
2012年 - 2016年
論文
36-
Computer Software 35(1) 140-168 2018年2月1日 査読有り
-
DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016 9840 393-405 2016年 査読有り
-
Logical Methods in Computer Science 12(2:0) 1-27 2016年 査読有り
-
情報処理学会論文誌プログラミング（PRO） 8(3) 1-10 2015年 査読有り
-
International Conference on Logic for Programming, Artificial Intelligence, and Reasoning 249-265 2015年 査読有り
-
IPSJ Transactions on Programming 7(3) 2014年 査読有り
-
第15回プログラミングおよびプログラミング言語ワークショップ 2013年3月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8172 412-426 2013年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7795 230-244 2013年 査読有り
-
情報処理学会論文誌. プログラミング 6(1) 17-26 2013年1月 査読有り
-
Journal of Applied Logic 10 2012年3月 査読有り
-
JOURNAL OF APPLIED LOGIC 10(1) 32-51 2012年3月 査読有り
-
Reachability analysis of the HTML5 parser specification and its application to compatibility testingLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7436 293-307 2012年 査読有り
-
12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010) 107-115 2011年 査読有り
-
情報処理学会論文誌. プログラミング 3(2) 9-25 2010年3月 査読有り
-
ACM SIGPLAN NOTICES 44(1) 200-212 2009年1月 査読有り
-
Proc. of the 13th International Conference on Implementation and Application of Automata 122-131 2008年7月 査読有り
-
情報処理学会論文誌. プログラミング 49(3) 39-54 2008年3月 査読有り
-
Proc. of the 20th International Conference on Theorem Proving in Higher Order Logics 173-188 2007年9月 査読有り
-
Proc. of the Tenth International Conference on Foundations of Software Science and Computational Structures 346-360 2007年3月 査読有り
講演・口頭発表等
3-
第15回プログラミングおよびプログラミング言語ワークショップ 2013年3月4日
-
日本ソフトウェア科学会第26回大会____ 2009年9月
-
日本ソフトウェア科学会第26回大会____ 2009年9月
Works(作品等)
1-
1992年 その他