上田研究室の研究分野 |
情報理工学科4年生向け紹介資料最近の主な発表論文読み物(リンクがたどれない場合は本ページをリロードしてみて下さい) |
概要先端的コンピューティングの原理およびプログラミングの根幹技術の開拓をミッションとして, 次の各分野で,基礎理論,言語設計, システム構築の三面から取り組んでいます.
(a) 先端的プログラミング言語 |
解説高度,高品質,高性能なソフトウェア, つまり一言でいえば「難しい」ソフトウェアを構築し検証するための根幹技術を, プログラミング言語を軸足として推進している. 当研究室で特に意欲的に取り組んでいる領域は,
である.これらの領域では, 通常のプログラミング言語と方法論で十分な機能,性能, 信頼性をもったソフトウェアを構築することが大変困難であり, 研究室が最も得意としているプログラミング言語分野のこれまでの蓄積を土台に, 新たな計算モデル,言語,実装技術, 検証技術の開拓に取り組んでいる. これまでの最も重要な貢献は, 第五世代コンピュータプロジェクトにおける 並行論理プログラミング・パラダイムの確立とその後の深化であった. さらに2002年からは, 並行論理プログラミングの特徴を一部引き継いだ, 階層グラフ書換えに基づく並行言語モデル LMNtal (elemental と発音) の開発を行っている.LMNtal は, 並行性と非決定性をもつ多数の計算モデルの統合を目指すとともに, プログラムの実行技術と検証技術の統合も目指し, 最近はシステム検証のためのモデル検査器としても大きく発展しつつある. 研究室を統括する上田は, 論理プログラミングの分野で永く国際的に貢献してきたが, そこから派生し急発展してきた制約プログラミングの応用にも取り組んでいる.制約プログラミングは, 人工知能分野のホットな技術の一つとなっている.最近では, 制約概念に基づいてサイバーフィジカルシステムをモデリングし検証するための言語と処理系の確立に力を注いでいる. 上記の高水準言語の実行系・検証系の研究と構築にあたっては, 最近のコンピュータおよびプロセッサアーキテクチャの特徴を生かすべく, 並列実行を「当たり前の技術」として常に念頭においており, 高性能並列計算機を用いた検証技術, すなわち高性能検証技術の観点からの研究も推進している. 当研究室の研究は, アーキテクチャ層とアプリケーション層を結びつける核としてのプログラミング言語の役割を重視しつつ, プログラミング周辺技術と他層の技術との結びつきを追求している.また, 情報科学では理論研究と実践研究とが乖離する傾向が大変強いが, 両者が有機的な結びついた研究を常に心がけている. |
過去および現在の主要プロジェクト上田研究室は, 下記(企業との共同研究は除く)のような研究プロジェクトに関係してきています.上記の研究の多くも, これらの枠組の一環として行なわれています.
|
Last update: March 1, 2023 vvvvvv-admin@ueda.info.waseda.ac.jp |