| 教員紹介トップページへ | 三重大学トップページへ |
| 職名 | 講師 | |||||||||
| 氏名 | やまだ としゆき 山田 俊行 |
|||||||||
| 生年月 | ||||||||||
|
||||||||||
| TEL | ||||||||||
| FAX | ||||||||||
| toshi@cs.info. (末尾に mie-u.ac.jp を補ってください) | ||||||||||
| 個人のホームページ | http://www.cs.info.mie-u.ac.jp/~toshi/index-j.html | |||||||||
| 学歴 | ||||||||||
| 学位 | 1999.03 博士(工学) 筑波大学
|
|||||||||
| 所属学会 | 日本ソフトウェア科学会 情報処理学会 | |||||||||
| 社会活動 | ||||||||||
| 職歴 | 1999.04～2001.12 筑波大学電子・情報工学系 助手
2002.01～2006.03 三重大学工学部情報工学科 助手，講師 2006.04～ 三重大学大学院工学研究科情報工学専攻 講師 |
|||||||||
| 学術（芸術）賞 | FIT2003（第2回情報科学技術フォーラム）論文賞
|
|||||||||
| 専門分野 | 情報科学（ソフトウェアの基礎理論） | |||||||||
| 現在の研究課題 | ソフトウェアの 解析・理解支援・検証 計算論理 組み合わせ最適化 | |||||||||
| 担当科目 | コンパイラ ソフトウェア科学演習 データ構造・アルゴリズム論 計算モデル特論 上級プログラミング演習III 情報工学実験 I 情報工学実験 II 情報工学特別研究Ⅲ 情報工学特別研究IV 数理論理学 専門英語 卒業研究 | |||||||||
| 主な業績等 | Termination of Simply Typed Term Rewriting Systems by Translation and Labelling 共著 2003.06 Lecture Notes in Computer Science 2706 380-394
高階関数型プログラムにおける帰納的定理証明 共著 2003.07 情報技術レターズ 2 21-22 Inductive Theorems for Higher-Order Rewriting 共著 2004.06 Lecture Notes in Computer Science 3091 269-284 The Joinability and Unification Problems for Confluent Semi-Constructor TRSs 共著 2004.06 Lecture Notes in Computer Science 3091 285-300 Dependency Pairs for Simply Typed Term Rewriting 共著 2005.04 Lecture Notes in Computer Science 3467 120-284 The Reachability and Related Decision Problems for Monadic and Semi-Constructor TRSs 共著 2006.04 Information Processing Letters 98 219-224 The Joinability and Related Decision Problems for Confluent Semi-Constructor TRSs 共著 2006.05 Transactions of Information Processing Society of Japan 47 Argument Filterings and Usable Rules for Simply Typed Dependency Pairs (Extended Abstract) 共著 2007.06 Proceedings of the 4th International Workshp on Higher-Order Rewriting Argument Filterings and Usable Rules for Simply Typed Dependency Pairs 共著 2009.09 Lecture Notes in Artificial Intelligence 5749 117-132 Natural Inductive Theorems for Higher-Order Rewriting 共著 2011.05 Proceedings of the 22nd International Conference on Rewriting Techniques and Applications 107-121 値範囲解析アルゴリズムの正当性 共著 2012.08 日本ソフトウェア科学会第29回大会講演論文集 Java の参照型変数と配列の静的 null 検出 共著 2015.11 第22回ソフトウェア工学の基礎ワークショップ論文集 実行時の変数の値の変化とコード編集による変化の可視化 共著 2016.10 情報処理学会コンピュータと教育研究会 140回研究発表会論文集 実行時の変数の値の変化とコード編集による変化の可視化:第112回プログラミング研究会 共著 2017.01 情報処理学会第112回プログラミング研究会論文集 Java初学者支援のためのメンバの可視性の視覚化 共著 2017.09 2017年度電気関係学会東海支部連合大会講演論文集 メモリアドレス可視化によるC言語のポインタ概念の理解支援 共著 2017.09 2017年度電気関係学会東海支部連合大会講演論文集 オブジェクト指向学習支援のための実行ステップ毎のメンバの視覚化 共著 2018.02 情報処理学会コンピュータと教育研究会 143回研究発表会論文集 変数の値の変化の可視化によるプログラム理解支援 共著 2017.07 情報処理学会論文誌 プログラミング 10 1882-1893 変数の操作位置に基づく同値関係：プログラム評価への応用を目指して 共著 2018.09 2018年度電気・電子・情報関係学会東海支部連合大会講演論文集 SAT における冗長な節の削除手法の提案 共著 2019.09 2019年度電気・電子・情報関係学会東海支部連合大会講演論文集 施設の利用頻度と価値に応じた経路探索 共著 2019.09 2019年度電気・電子・情報関係学会東海支部連合大会講演論文集 調理手順最適化の並行作業を考慮した半順序制約 共著 2019.09 2019年度電気・電子・情報関係学会東海支部連合大会講演論文集 解の個数を制限した充足可能性問題の計算複雑性: 2019.12 信学技報 119(340) 39-43 規則の辞書を用いたプログラム例からの文法の推測 共著 2020.09 2020年度電気・電子・情報関係学会東海支部連合大会講演論文集 文法の規則集の編集によるプログラム例からの文法の生成とその実装 共著 2021.03 第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)論文集 手続きを含む命令型プログラムを検証するための証明戦術の提案 共著 2021.01 情報処理学会第132回プログラミング研究会(PRO-2020-4)論文集 機械の種類を考慮した調理⼿順最適化の値範囲とbig-M法を⽤いた離接制約の⽐較 共著 2021.08 情報処理学会論文誌：数理モデル化と応用(TOM59) 14(3) 85-92 手続きを含む命令型プログラムを検証するための証明戦略の提案 共著 2021.06 情報処理学会論文誌：プログラミング(PRO) 14(3) 1882-7802 チューリングを読む 共著 2012.06 日経ＢＰ社 はじめての数理論理学 単著or編著 2018.07 森北出版 最適化アルゴリズムとデータ視覚化：バス経路計画への応用 単著 |
|||||||||