渡部研究室

About关于研究室

安全で信頼できるシステムを、簡単に。

渡部研究室は、安全で信頼できる計算システムの開発を簡単にするための、原理としくみを研究しています。
プログラミング言語、システムソフトウェア、形式手法という複数の分野の技術を組み合わせて取り組みます。
最近は、関数リアクティブプログラミングの言語を使った組込み・制御システムの研究に力を入れています。
研究では、木構造や記号を扱いやすい関数プログラミング言語や、モデル検査器・定理証明支援系といった道具を使います。

Research研究课题

プログラミング言語、システムソフトウェア、形式手法をまたいで研究しています。安全に動かすためのしくみ、並行・分散のプログラミングモデル、組込みシステム向けの関数リアクティブプログラミングなどがテーマです。

安全に動くシステム↗

システムを安全に動かすためのしくみを研究しています。プログラムを動かしながら監視・検証する方法や、実行時にセキュリティの方針を守らせるしくみが題材です。

※示意图

プログラミング言語↗

メタレベルアーキテクチャと自己反映計算、並行オブジェクトやアクター、組込みシステム向けの関数リアクティブプログラミングを扱います。

※示意图

形式手法↗

並行して動くシステムを検証する方法と、部品ごとに分けて検証するための抽象化のしくみを研究しています。

ソフトウェア開発↗

人がプログラムを読んで理解する過程（プログラム理解）を対象にしています。フレームワークを使って作られたソフトウェアのコードを読むための支援ツールにも取り組んでいます。

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。