Degree

• 工学修士（東京工業大学）
• 博士（工学）（東京工業大学）

Research History

Education

Awards

Others

Papers

• 高信頼細粒度部品再利用による形式手法におけるソフトウェア合成（2013-08） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Denepndable Software Component Generation with B Method（2011-11） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Car-Steering Model Based on an Adaptive Neuro-Fuzzy Controller（2004）
• Web-based educational system: Monitoring and assisting learners（1999） [Web of Scientce]
• Searching Deadlocked Web Learners by Measuring the Similarity of Learning Activities（1998-08）
• Collaboration supporting system in learning environment through computer network（1997） [Web of Scientce]
• 出力指向の段階的詳細化による設計法（1993-11） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]

Misc

Presentations

• 形式的ソフトウェア合成システムの構築と妥当性検証（2025-09-05）
• 形式的ソフトウェア部品の検証を兼ねた自動生成手法の改善と評価（2025-09-05）
• 形式的ソフトウェア合成手法における部品検証を兼ねた不足部品の自動生成（2025-03-14）
• B Method におけるモジュール構造に対応したソフトウェア合成システムの構築（2025-03-14）
• Readability Metrics for Sliced Models Focused on Text Structure（2024-09-04）
• A Proposal of Formal Software Synthesis System Considering Complex Models（2024-09-04）
• 形式的ソフトウェア合成手法における細分化モデルの可読性向上手法の改善（2024-03-15）
• 小規模なモデルを対象とした形式的ソフトウェア合成システムの構築（2024-03-15）
• 条件分岐と同時代入間の相互依存に配慮した形式仕様細分化アルゴリズム（2023-09-07）
• B Method の仕様記述言語における段階的詳細化を伴う仕様の細分化手法（2023-09-07）
• 形式的ソフトウェア合成手法における計算コストを考慮した細分化モデル可読性向上手法（2023-09-07）
• 形式的ソフトウェア合成手法における細分化モデルの可読性向上手法（2023-03-03）
• 形式的ソフトウェア合成手法の複雑な例題による検証（2023-03-03）
• 演算の可換性と結合性、型に配慮した形式仕様の式表現の統一のための項書換えアルゴリズム（2023-03-03）
• モジュール構造と段階的詳細化に対処した形式的ソフトウェア合成手法（2022-09-14）
• 抽象データ型に対応した不足部品の自動生成手法（2022-09-14）
• 項書き換え系を用いた文字列による検索のための形式仕様の正規化と暗黙の条件の抽出（2022-09-14）
• 抽象データ型を考慮した不足部品の自動生成手法（2022-03-04）
• モジュール構造と段階的詳細化を考慮した形式的ソフトウェア合成手法（2022-03-04）
• 文字列一致による等価性判定のための形式仕様の正規化（2022-03-04）
• 取得部品からの詳細化情報抽出による不足部品の自動生成手法（2021-08-26）
• 参照変数の定数化による形式的派生部品生成手法（2021-08-26）
• 定数値制約領域の拡大による形式的部品の再利用性向上手法（2021-03-18）
• 取得部品からの詳細化情報収集による不足部品の自動生成手法（2021-03-18）
• 定数宣言の抽象化による値不一致な形式的部品の再利用手法（2020-09-02）
• 宣言定数の抽象化による形式的部品の再利用性向上（2020-03-07）
• リファインメントを考慮した形式的ソフトウェア合成アルゴリズム（2019-09-03）
• モジュール構造を考慮した形式的細分化実装の生成手法（2019-09-03）
• リファインメントを考慮した部品再利用による形式的ソフトウェア合成（2019-03-13）
• モジュール構造を考慮した形式的細分化実装（2019-03-13）
• モジュール構造を考慮した形式的細粒度部品の提案（2018-09-19）
• 形式手法 B Method の細粒度部品の結合による高信頼ソフトウェアの合成（2018-09-19）
• 形式手法 B Method における高信頼細粒度部品の粒度の提案（2018-03-14）
• 形式的ソフトウェア部品生成のための実装抽出手法（2018-03-14）
• モジュール構造を考慮した形式的細粒度部品の提案（2018-03-14）
• 形式的仕様記述における制約条件の欠落推定（2017-09-14）
• モジュール構造に対応したソフトウェア合成手法（2017-03-17）
• 形式仕様に基づくソフトウェア部品の結合手法（2017-03-17）
• 状態遷移図と抽象的仕様記述のマッチングによる仕様の誤り検出（2017-03-17）
• B-Method におけるリファインメントの集約化手法（2016-09-07）
• B-Method における段階的詳細化を考慮した形式的ソフトウェアのモデル細分化（2016-03-10）
• 形式的ソフトウェア合成手法 MSSS の妥当性評価実験（2016-03-10）
• 形式的ソフトウェア合成手法における部品の充足を考慮した合成手順（2015-03）
• 形式的ソフトウェア合成手法におけるモデル細分化システムの設計と構築（2015-03）
• 形式的ソフトウェア合成手法における不足部品の要求提示（2014-09）
• 文字列一致による数学的等価性判定可能なモデル分割アルゴリズム（2013-09）
• 文字列一致による数学的等価性判定可能なモデル分割手法（2013-03）
• 形式的ソフトウェア合成手法における再利用部品群の決定（2013-03）
• Model Satisfiable Software Synthesis Method for Formal Development（2012-08）
• モデルと実装間の整合性に考慮した形式的ソフトウェア分割手法（2012-03）
• 形式仕様を用いた部品検索における計算量低減（2011-07）
• B Methodにおける自動コード合成フレームワークの提案（2010-11）
• B Method における部品再利用による自動コード生成のための仕様細分化（2009-12）
• Reuse and Auto Code Generation in B Method（2009-03）
• 機能に着目したソフトウェア部品の抽象化による特徴抽出（2008-09）
• 概念表現を用いたソフトウェア部品の記述と検索（2008-03）
• 形式的なソフトウェア部品検索のための仕様からの特徴抽出（2008-03）
• エンティティの振舞いに着目した Z による仕様記述と状態遷移規則の比較に基づく誤り検出法（2007-09）
• A Software Measurement Validation Method with a Formal Approach（2005-11）
• Zによる仕様記述と状態遷移規則の比較による誤り検出法（2004-09）
• 多様な品質要求に応じたソフトウェア部品提供のためのリポジトリシステム（2004-09）
• Web学習者支援のための学習者モデル構築について（2003-10）
• 形式的記述に基づくモジュールシグニチャを用いたソフトウェア部品検索（2003-09）
• 「状態遷移規則を知識とした形式的仕様における制約条件の欠落検出法」（2001-09）
• 階層的モジュール管理に基づくソフトウェアリポジトリにおける変更伝搬制御（2000-10）
• システム構成要素の状態遷移規則に着目した仕様の妥当性検証法（2000-09）
• 非同期計算モデルによる並列プログラムの誤り検出（1999-11）
• 複数の制約条件の付則を対象とした仕様の誤りの検出（1999-09）
• Web-Based Learningのための支援（1998-12）
• WWW教材の遠隔地学習者に対する支援システム（1998-10）
• WWW 教材の遠隔地学習者に対する支援システム（1998-10）
• ビュー指示機構を用いた広域型ソフトウェアリポジトリ（1998-09）
• 拡張プロセス代数による非同期型並列プログラムの誤り検出（1998-09）
• 制約条件の不足による仕様の誤りの逐次的検出（1998-09）
• HyperClassroom 構想（1997）
• ハイパーティーチャー： 授業・演習における教師支援システム（1996-12）
• ITS におけるコミュニケーションの階層化（1996-05）
• インターネット環境におけるコンピュータリテラシの教育（1995-06）
• WWW学習環境における協調学習のためのグループ化手法（1995）

Books and Other Publications

• UNIXコンピュータリテラシー（2001-04）

Works

Research Projects

Media Coverage

Industrial Property Rights

Professional Memberships

• Information Processing Society of Japan
• Japan Society for Software Science and Technology

Committee Memberships

Teaching Experience

• Fundamental Programming
• Programming Language Experiment
• プログラミング言語実験
• Exercise in Informatics II
• 情報領域演習第二
• 基礎プログラミングおよび演習
• プログラミング言語実験
• プログラミング言語実験
• 基礎プログラミングおよび演習
• 基礎プログラミングおよび演習

Social Contribution

Academic Contribution