田辺研究室

• 氏名・役職・学位 等
• 専門分野
• 担当科目

田辺　誠, TANABE Makoto
准教授, Associate Professor
博士（理学）, Ph.D. in Science

• 情報数学
• 情報理論
• 符号理論

• プログラミングⅠＡ・ⅠＢ
• 情報数学
• 情報理論
• 符号理論
• 制御情報工学セミナー
• 制御情報工学実習Ⅲ
• 工学実験
• 特別講義
• 卒業研究Ⅰ・Ⅱ
• 複雑系理論入門（専）
• 複合実験（専）

1. 田辺誠：“プログラミング教育効率の向上を目指したプログラム編集情報取得システムの作成”，高専教育，Vol.33 (2010)
2. 伊藤徹，田辺誠，中島玲二，林良生："TCCT: タイマを柔軟に制御可能な時間付きプロセス計算"，情報処理学会論文誌，Vol.44, No.SIG04, pp.80-80 (2002)
3. 泉田大宗，川勝則孝，田辺誠，中島玲二，林良生："時間イベントパターンマッチング"，コンピュータソフトウェア，Vol.17, No.5， pp.61-79 (2000)

詳細はこちら（U-SEARCH）

• モデル検査で検証されたモデルからプログラムソースファイルを作成する研究
• 仕様記述に適した時相論理体系の構築に関する研究
• プログラミング教育効率向上のための教育システム構築に関する研究