飯田 周作
イイダ シュウサク (Shusaku Iida)
更新日: 2019/10/06
基本情報
- 所属
- 専修大学 ネットワーク情報学部 教授
- 学位
-
修士(情報科学)(北陸先端科学技術大学院大学)博士(情報科学)(北陸先端科学技術大学院大学)
- J-GLOBAL ID
- 200901073902812836
- researchmap会員ID
- 1000366148
経歴
1-
1999年 - 2001年
学歴
2-
- 1999年3月
-
- 1994年
論文
19-
Journal of Research and Practice in Information Technology, Australian Computer Society 43(1) >41-63 2011年11月
-
組込みシステムシンポジウム2006,情報処理学会 >95-99 2006年10月19日
-
組込みソフトウェアシンポジウム2005,情報処理学会 >99-106 2006年8月25日
-
Proceeding of International Workshop on Future Software Technology, Software Engineers Association > 2005年11月
-
MDDロボットチャレンジ2004 >65-72 2005年3月24日
-
専修大学ネットワーク情報学会 >9-18 2002年3月15日
-
情報科学研究第22号、専修大学情報科学研究所 >9-28 2002年3月
-
日本ソフトウェア科学会論文誌Vol.18 コンピュータソフトウェアNum-0 >30-45 2001年1月1日
-
International Symposium Principles of Software Evolution. IEEE >262-301 2000年11月1日
-
Proc. Of the First World Congress on Formal Methods. Lecture Notes in Computer Science No.1709 Spri >1644-1663 1999年6月21日
-
Behavioral Specifications of Business and Systems. Kluewer Aczdemic Publishers >105-121 1999年6月21日
-
OBJ/CafeOBJ/Maude at Formal Methods '99, THETA >227-241 1999年
-
ソフトウェア工学の基礎Ⅴレクチャーノート/ソフトウェア学No.20 日本ソフトウェア科学会 近代科学社 >151-156 1998年12月1日
-
信学技法Vol.98. No.230 電子通信学会 > 1998年6月20日
-
北陸先端科学技術大学院大学リサーチレポートIS-RR-98-0009S > 1998年6月20日
-
コンピュータソフトウェアVol.15.No.1 日本ソフトウェア科学会 岩波書店 >34-49 1998年1月1日
-
Formal Methods for Open Object-based Distributed Systems Chapman & Hall >341-356 1997年6月19日
-
ソフトウェア工学の基礎Ⅱレクチャーノート/ソフトウェア学No.15 日本ソフトウェア科学会 近代科学社 >171-176 1995年12月1日
MISC
7-
専修大学情報科学研究所 所報No.63 >1-8 2004年3月1日
-
専修大学情報科学研究所 >9-19 2002年3月20日
-
専修大学情報科学研究所 所報第57号 >15-17 2002年3月10日
-
PFU TECHNICAL REVIEW Vol.11.No.2 >85-91 2000年11月1日
-
Software Symposium 2000 ソフトウェア技術者協会 >23-30 2000年6月1日
-
博士論文 北陸先端科学技術大学院大学 > 1999年3月1日
-
専修大学情報科学研究所所報第39号 専修大学 >1-15 1996年2月1日
書籍等出版物
2-
オーム社 2003年4月25日
講演・口頭発表等
9-
情報処理学会コンピュータと教育研究会第99回研究発表会 2009年5月 情報処理学会
-
情報処理学会コンピュータと教育研究会第93回研究報告 2008年2月 情報処理学会
-
情報処理学会情報システムと社会環境第99回研究報告 2007年3月 情報処理学会
-
除法処理学会情報システムと社会環境第87回研究報告 2004年3月 情報処理学会
-
International Workshop on the Principle of Software Evolution 1999年6月21日 International Workshop on the Principle of Software Evolution
-
the First CafeOBJ Symposium 1998年6月20日 the First CafeOBJ Symposium
-
日本ソフトウェア科学会第14回大会 1997年6月19日 日本ソフトウェア科学会第14回大会
-
日本ソフトウェア科学会第13回大会 1996年6月18日 日本ソフトウェア科学会第13回大会
-
情報処理学会第51回全国大会 1995年6月17日 情報処理学会第51回全国大会