渡部卓雄 (Takuo Watanabe) - マイポータル

基本情報

所属: 東京科学大学情報理工学院教授

学位: 理学博士(1991年3月東京工業大学)

ORCID iD: https://orcid.org/0000-0001-7470-3428
J-GLOBAL ID: 200901024152998303
researchmap会員ID: 5000013922

外部リンク: http://www.psg.comp.isct.ac.jp/u/takuo/

1986年東京工業大学理学部情報科学科卒業．1991年同大大学院理工学研究科情報科学専攻博士後期課程修了．理学博士．日本学術振興会特別研究員，イリノイ大学計算機科学科研究員，北陸先端科学技術大学院大学情報科学研究科助教授，東京工業大学大学院情報理工学研究科計算工学専攻准教授をへて，現在，東京科学大学情報理工学院情報工学系教授．メタプログラミングと自己反映計算，プログラミング言語，形式手法，組込みシステムの研究に従事．

研究キーワード

研究分野

情報通信 / ソフトウェア / プログラミング言語，形式手法，組込みシステム

経歴

2024年10月 - 現在

東京科学大学, 情報理工学院情報工学系, 教授
2017年1月 - 2024年9月

東京工業大学, 情報理工学院情報工学系, 教授
2016年4月 - 2016年12月

東京工業大学, 情報理工学院情報工学系, 准教授
2001年1月 - 2016年3月

東京工業大学, 大学院情報理工学研究科・計算工学専攻, 准教授
2002年4月 - 2004年3月

国立情報学研究所, ソフトウェア研究系, 助教授
1992年4月 - 2000年12月

北陸先端科学技術大学院大学, 情報科学研究科, 助教授
1991年4月 - 1992年3月

東京大学, 理学部情報科学科, 日本学術振興会特別研究員(PD)
1991年9月 - 1992年2月

イリノイ大学アーバナシャンペーン校, 計算機科学科, Visiting Research Assistant Professor
1990年4月 - 1991年3月

東京工業大学, 理学部情報科学科, 日本学術振興会特別研究員(DC)

主要な受賞

2021年9月

山下記念研究賞, Towards a Functional Reactive Programming Model for Developing WSANs, 情報処理学会

渡部卓雄
2020年11月

Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020), Best Paper Award, Towards a Functional Reactive Programming Model for Developing WSANs, 情報処理学会

渡部卓雄, 柴内一宏
2018年3月

東工大教育賞, サイバーセキュリティ特別専門学修プログラムの設計および実施, 東京工業大学

田中圭介, 伊東利哉, 小池英樹, 島川昌也, 首藤一幸, Defago Xavier, 増原英彦, 南出靖彦, 横田治夫, 脇田建, 渡辺治, 渡部卓雄, 尾形わかは, 山岡克式, 一色剛, 友石正彦, 西崎真也, 松浦知史
2003年

東工大挑戦的研究賞, 高レベル内観機構の導入によるソフトウェアの無害化, 東京工業大学

渡部卓雄
1991年10月

情報処理学会・研究賞, アクターモデルにもとづいた並列自己反映計算モデル, 情報処理学会

渡部卓雄

もっとみる

論文

111

小規模組込みシステム向けFRP言語のためのマルチモードデバッガ

大谷悠豪, 森口草介, 渡部卓雄

情報処理学会研究報告 2026-EMB-72(1) 1-8 2026年7月27日最終著者責任著者
Multi-Mode Debugging for FRP-Based Embedded Systems

Yugo Otani, Sosuke Moriguchi, Takuo Watanabe

Proceedings of 4th ACM International Workshop on Future Debugging Techniques (DEBT ’26) (to appear) 2026年6月査読有り最終著者責任著者
Formalization of Coverage Checking in Agda

Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025) 33-49 2026年4月30日査読有り最終著者
Co-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors

Go Suzuki, Takuo Watanabe, Sosuke Moriguchi

Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR ’25) 57-70 2025年10月14日査読有り責任著者
Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search

Satochi Takimoto, Sosuke Moriguchi, Takuo Watanabe

Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe '25) 15-25 2025年10月12日査読有り最終著者責任著者
組込みシステム向けFPGA・CPU SoCによる疎行列に着目したCNNの協調計算手法

宮下湧輔, 渡部卓雄, 森口草介

情報処理学会研究報告 2024-EMB-69(2) 1-2 2025年7月11日最終著者責任著者
Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists

Sosuke Moriguchi, Satoshi Takimoto, Mizuki Shirai, Takuo Watanabe

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024) 7-19 2025年4月30日査読有り最終著者責任著者
組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御

瀧本哲史, 森口草介, 渡部卓雄

コンピュータソフトウェア 42(1) 40-53 2025年1月25日査読有り最終著者責任著者
A Bytecode VM for an FRP Language for Small-Scale Embedded Systems

Yugo Otani, Go Suzuki, Sosuke Moriguchi, Takuo Watanabe

Proceedings of 7th Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2024) 63-64 2024年12月27日査読有り最終著者
mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices

Go Suzuki, Takuo Watanabe, Sosuke Moriguchi

Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR ’24) 41-47 2024年9月19日査読有り責任著者
組込みシステム向けFRP言語におけるリアルタイムタスクの記述と処理機構

十河健人, 森口草介, 渡部卓雄

日本ソフトウェア科学会第41回大会論文集 2024年9月10日最終著者
同期的データフロープログラミングにおける逆計算の構成方式

白井瑞貴, 森口草介, 渡部卓雄

コンピュータソフトウェア 41(3) 34-40 2024年7月25日査読有り最終著者
小規模組込みシステム向けFRP言語のためのバイトコードVM

大谷悠豪, 鈴木豪, 森口草介, 渡部卓雄

情報処理学会研究報告 2024-EMB-66(5) 2024年7月19日最終著者
Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems

Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe

Proc. 13th International Conference on Software and Computer Applications (ICSCA 2024), 45-54 2024年2月1日査読有り最終著者
Event by Timing: Periodic and Time-Sequencing Responses

Sosuke Moriguch, Takuo Watanabe

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023) 139-154 2024年2月査読有り最終著者
Developing Distributed Systems with Multiparty Functional Reactive Programming

Sosuke Moriguchi, Takuo Watanabe

Proc. 5th World Symposium on Software Engineering (WSSE '23) 61-66 2023年12月26日査読有り最終著者
Using Low Power Coprocessors in an FRP Language for Embedded Systems

Go Suzuki, Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe

Proc. 6th Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023) 1-8 2023年12月20日査読有り最終著者
Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems

Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe

Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023) 43-53 2023年10月査読有り最終著者責任著者
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices

Go Suzuki, Takuo Watanabe, Sosuke Moriguchi

Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming 12-16 2023年3月査読有り責任著者
Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems

Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe

Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2022) 1-12 2022年11月29日査読有り最終著者責任著者

もっとみる

MISC

多言語に対応した衛生的マクロ機構導入方式

高桑健太郎, 渡部卓雄

日本ソフトウェア科学会大会講演論文集(CD-ROM) 34th ROMBUNNO.PPL3‐2 2017年
実時間システム向け文脈指向言語ProcneJ

安原由貴, 森口草介, 渡部卓雄

情報処理学会論文誌プログラミング（PRO） 6(3) 50-50 2013年12月20日
実時間システム向け文脈指向言語ProcneJ

安原由貴, 森口草介, 渡部卓雄

情報処理学会論文誌. プログラミング 6(3) 2013年12月20日
ヒューマンエラーに対する手順書の耐性検査 (知能ソフトウェア工学)

永藤直行, 渡部卓雄

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(71) 61-66 2013年5月30日
Objective-Cによる文脈指向プログラミングの実現手法(学生及び若手(パラレルセッション:実装))

鈴木将哉, 渡部卓雄

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 112(165) 133-138 2012年7月20日
Objective-Cによる文脈指向プログラミングの実現手法(学生及び若手(パラレルセッション:実装))

鈴木将哉, 渡部卓雄

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 112(164) 133-138 2012年7月20日
補償型計算による実行監視機構のアクターモデルに基づく実現にむけて

久間恵美子, 渡部卓雄

日本ソフトウェア科学会大会論文集 28 1-8 2011年9月27日
Coqのための対話的修正機構を用いた変更の織り込み手法

森口草介, 渡部卓雄

日本ソフトウェア科学会大会論文集 28 1-7 2011年9月27日
証明支援系Coqのプログラムに対する対話的修正機構の提案

森口草介, 渡部卓雄

情報処理学会論文誌プログラミング（PRO） 4(4) 41-41 2011年9月22日
証明支援系Coqのプログラムに対する対話的修正機構の提案

森口草介, 渡部卓雄

情報処理学会論文誌. プログラミング 4(4) 41-41 2011年9月22日
実行時検査を伴う実時間プログラムの生成について : 時間オートマトンから非実時間実行環境上の実時間プログラムへ

Senthooran Ilankaikone, Prokay Julian, 渡部卓雄

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 111(169) 75-80 2011年7月22日
実行時検査を伴う実時間プログラムの生成について : 時間オートマトンから非実時間実行環境上の実時間プログラムへ

Senthooran Ilankaikone, Prokay Julian, 渡部卓雄

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 111(168) 75-80 2011年7月22日
証明支援系を用いたMorrisの二分木走査アルゴリズムの検証

山田一宏, 渡部卓雄, 森口草介, 西崎真也

情報処理学会研究報告. ソフトウェア工学研究会報告 2011(26) 1-4 2011年3月7日
証明支援系を用いたMorrisの2分木走査アルゴリズムの実装の検証

山田一宏, 森口草介, 渡部卓雄, 西崎真也

第73回全国大会講演論文集 2011(1) 505-506 2011年3月2日
オブジェクト計算における変更可能な継続

久間恵美子, 松本大介, 西崎真也, 渡部卓雄

第73回全国大会講演論文集 2011(1) 351-352 2011年3月2日
プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ

渡部卓雄, 森口草介, 山田一宏, 西崎真也

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 110(458) 97-102 2011年2月28日
アスペクト指向言語における操作の抽象化方式

森口草介, 渡部卓雄

情報処理学会論文誌プログラミング（PRO） 2(5) 43-43 2009年11月20日
アスペクト指向言語における操作の抽象化方式

森口草介, 渡部卓雄

情報処理学会論文誌. プログラミング 2(5) 43-43 2009年11月20日
自己反映計算の振舞的側面の形式化について

渡部卓雄

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 109(170) 49-52 2009年7月30日
LMC : ポイントカット・アドバイスモデルの計算

森口草介, 渡部卓雄

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 108(173) 37-42 2008年7月24日

もっとみる

講演・口頭発表等

プログラムの推定IPCを考慮した同一命令セット異種混合マルチコア向けスケジューラのための予備実験

鈴木豪, 渡部卓雄, 森口草介

組込み技術とネットワークに関するワークショップ(ETNET2026) 2026年3月16日情報処理学会
同型を除いた単一化を用いた型主導ライブラリ検索

瀧本哲史, 森口草介, 渡部卓雄

第28回プログラミングおよびプログラミング言語ワークショップ(PPL 2026) 2026年3月11日日本ソフトウェア科学会プログラミング論研究会
JETLS.jl: 静的解析とランタイム情報を掛け合わせたJulia言語の高機能Language Serverの実装

門脇宗平, 山口悠地, 森口草介, 渡部卓雄

第28回プログラミングおよびプログラミング言語ワークショップ(PPL 2026) 2026年3月10日日本ソフトウェア科学会
リフレクションによる時刻の扱い

鈴木季, 森口草介, 渡部卓雄

第28回プログラミングおよびプログラミング言語ワークショップ(PPL 2026) 2026年3月10日日本ソフトウェア科学会
8KiB程度の省電力コプロセッサで動くmruby/copro

鈴木豪, 渡部卓雄, 森口草介

第27回組込みシステム技術に関するサマーワークショップ(SWEST27) 2025年8月28日
組込みデバイスのメモリ保護ユニットを活用したメモリ管理手法に向けた事前評価

鈴木豪, 渡部卓雄, 森口草介

第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025) 2025年3月6日日本ソフトウェア科学会
定理証明支援系のためのライブラリ検索システム作成に向けて

瀧本哲史, 森口草介, 渡部卓雄

第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025) 2025年3月6日日本ソフトウェア科学会プログラミング論研究会
省電力コプロセッサ上でRubyプログラムを動かすmruby処理系の実装に向けて

鈴木豪, 渡部卓雄, 森口草介

第26回組込みシステム技術に関するサマーワークショップ(SWEST26) 2024年8月29日
小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構

横山, 陽彦, 森口, 草介, 渡部, 卓雄

情報処理学会論文誌プログラミング（PRO） 2023年8月28日