田辺 誠

J-GLOBALへ         更新日: 18/06/27 03:31
 
アバター
研究者氏名
田辺 誠
 
タナベ マコト
所属
宇部工業高等専門学校
部署
制御情報工学科
職名
教授
学位
博士(理学)(京都大学)

研究キーワード

 
 

研究分野

 
 

経歴

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

学歴

 
 
 - 
1997年
京都大学 理学研究科 数学・数理解析
 
 
 - 
1992年
京都大学 理学部 数学
 

論文

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

書籍等出版物

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

Works

 
科学技術振興事業団さきがけ研究21「情報と知」領域
1997年 - 2000年

競争的資金等の研究課題

 
実時間システムの計算モデル
モデル検査等の形式検証の、実際の開発への応用
信頼性の高いソフトウェア開発に向けた「モデル-プログラム協調環境」の構築
科学研究費補助金
研究期間: 2007年 - 2009年