研究者
J-GLOBAL ID：200901050071459824   更新日: 2024年02月14日

結縁 祥治

Yuen Shoji
所属機関・部署：
名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論

名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論 について


職名： 教授
ホームページURL (1件)： http://www.sqlab.jp/person/yuen/index.html
研究分野 (3件)： ソフトウェア ,  情報ネットワーク ,  計算機システム
研究キーワード (30件)： ソフトウェアエンジニアリング ,  SCCS ,  検証技法 ,  ネットワーク家電 ,  組み込みシステム ,  実時間処理 ,  デバッグ ,  並行プログラミング ,  π計算 ,  モデル検査 ,  CCS ,  プロセス代数 ,  通信プロセスモデル ,  構造的動作意味定義 ,  代数的意味論 ,  インターネット高度化 ,  並行システム ,  形式意味論 ,  並行計算モデル ,  並行計算 ,  エンドポイント展開 ,  証明系 ,  ネットワークプログラミング ,  テスト意味論 ,  プログラミング言語 ,  実時間システム ,  形式的意味論 ,  構造的操作意味定義 ,  組込みシステム ,  Webアプリケーション
競争的資金等の研究課題 (24件)：
  • 2021 - 2026 データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
  • 2022 - 2025 データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
  • 2019 - 2023 ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用
  • 2017 - 2021 実時間性を持つ並行プログラムに対するデバッグのための逆方向計算モデル
  • 2017 - 2020 連続時間領域における実時間プログラムの離散実行モデル
全件表示
論文 (58件)：
もっと見る
MISC (67件)：
もっと見る
書籍 (1件)：
  • 並行プロセスの操作的および代数的意味論
    丸善 1993
講演・口頭発表等 (2件)：
  • Session types in OCaml
    (Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) 2017)
  • タスクマイグレーション機能を持つマルチコアスケジューリング解析
    (電子情報通信学会ソフトウェアサイエンス研究会 2013)
学位 (2件)：
  • 工学修士 (京都大学)
  • 博士(工学) (名古屋大学)
経歴 (3件)：
  • 2017/04/01 - 現在 名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論 教授
  • 2007/04/01 - 2017/03/31 名古屋大学 大学院情報科学研究科 情報システム学専攻 教授
  • 1998/04/09 - 2007/03/31 名古屋大学 大学院情報科学研究科 情報システム学専攻 助教授
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM