田辺誠

タナベマコト | Tanabe Makoto

所属機関・部署：
職名：教授

研究分野 (1件)：情報学基礎論

研究キーワード (4件)：モデル検査 , Petri Nets , Temporal Logic , Model Checking

競争的資金等の研究課題 (7件)：

2016 - 2020 外国語コミュニケーションに表れるチャンクと文法、チャンク学習有効性の検討
2016 - 2020 チャンキング理論を用いたCALLシステムによる科学技術英語教育方法の構築と実践
2007 - 2009 信頼性の高いソフトウェア開発に向けた「モデル-プログラム協調環境」の構築
2007 - 2009 Automatic Generation of Program Source Codes from Models of Model-checking Tools
モデル検査等の形式検証の、実際の開発への応用

全件表示

論文 (8件)：

田辺誠. An advanced version of CS Unplugged Activity 2. Proceedings Journal of Interdisciplinary Research, Vol. 03, Iss. 1, pp.1-10. 2016
田辺誠. 公共交通機関と連携した社会実装教育型の卒業研究:宇部市営バス運行案内システムの構築. 日本高専学会誌, Vol. 21, No. 3, pp.37-44. 2016
田辺誠. A Proposal for Teaching Programming through the Four-Step Method. Australian Journal of Basic and Applied Sciences, 9(14). 2015
田辺誠. プログラミング教育効率の向上を目指したプログラム編集情報取得システムの作成. 高専教育,Vol.33、 pp.461-466. 2010
田辺誠. TCCT:Timed Calculus with Controllable Timers. 京都大学数理解析研究所PREPRINTS第1353号 pp.1-16. 2003

書籍 (3件)：

Digitai Cities II -- Computational and Socialogical Approaches
Springer-Verlag社, Lecture Notes in Computer Science シリーズ第2362号全404頁 2000
コンピュータサイエンス入門
岩波書店 1999
コンピュータサイエンス入門〈2〉論理とプログラム意味論
岩波書店全191頁 1997

Works (1件)：

学歴 (4件)：

学位 (1件)：

経歴 (2件)：

1997 - 2002 (財)京都高度技術研究所研究員1997-2000 科学技術振興事業団さきがけ研究(PREST)21「情報と知」研究員2000-2001 科学技術振興事業団CREST「デジタルシティのユニバーサルデザイン」プロジェクト研究員
1997 - 2002 ASTEM-RI, Kyoto1997-2000 JST Sakigake21 (PREST) Project2000-2001 JST CREST Project (Universal Design of Digital City)

所属学会 (2件)：

日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

田辺 誠