東京科学大学 · 情報理工学院 · 教授
渡部 卓雄
Watanabe Takuo
别名: ワタナベ タクオ / WATANABE Takuo
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业情報学中区分
- ソフトウェア細目
- ソフトウエア細目
- 情報科学中区分
- 総合・新領域系大区分
- 総合系大区分
- 総合領域大区分
- 複合領域大区分
- 計算基盤大区分
- 計算機科学小区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2024KAKENHI-基盤研究(C)関数リアクティブプログラミング組込みシステム低電力コプロセッサマイクロコントローラJITコンパイラバイトコードVMプログラミング言語実時間システム
- 2022KAKENHI-基盤研究(C)
消費電力をパラメータとする関数リアクティブプログラミングの研究 ↗
電源制御関数リアクティブプログラミング消費電力周期的タスクプログラミング言語組込みシステムサイバーフィジカルシステム - 2021KAKENHI-基盤研究(C)
アクターモデルとFRPの融合による高効率・高信頼CPS開発支援 ↗
関数リアクティブプログラミングサイバーフィジカルシステム組込みシステムプログラミング言語マイクロコントローラー非同期処理分散処理実時間処理 - 2018KAKENHI-基盤研究(C)
アクターモデルと関数リアクティブプログラミングの融合による組込みシステム開発支援 ↗
関数リアクティブプログラミング関数プログラミング言語組込みシステム分散システムアクターモデル型システムプログラミング言語文脈指向プログラミング - 2015KAKENHI-基盤研究(C)
広域自己反映計算にもとづく適応的並列計算系の実行時検証とそのための仕様記述方式 ↗
広域自己反映計算自己反映計算アクターモデル関数リアクティブプログラミング実行時検証文脈指向プログラミング動的適応形式仕様記述 - 2014KAKENHI-基盤研究(C)
汎言語的健全構文マクロ機構を用いた言語処理系構築手法の研究 ↗
ソフトウェアプログラミングメタプログラミングマクロシステムHygienic構文マクロドメイン特化型言語シミュレーション言語健全マクロ - 2012KAKENHI-基盤研究(C)
自己反映的ソフトウェアのための実行時検証とそのための仕様記述方式 ↗
自己反映計算広域自己反映計算アクターモデル文脈指向プログラミング形式手法実行時検証並行文脈指向プログラミング並列文脈指向プログラミング - 2006KAKENHI-特定領域研究
情報爆発に対応する高度にスケーラブルでセキュアなソフトウェア構成・更新方式 ↗
アスペクト指向開発環境ソフトウェア検証ソフトウェアテストオーバーレイネットワークコンテンツ配信分散計算Webアプリケーション - 2005KAKENHI-基盤研究(C)
静的解析と実行時検査の融合にもとづくソフトウェアの安全な動的構成と実行方式 ↗
形式仕様記述契約による設計アスペクト指向モデル駆動開発実行時検査隠れチャネル情報漏洩状態遷移記述 - 2003KAKENHI-基盤研究(C)
適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究 ↗
ポリシー強制バイトコード変換自己検査モード実行時解析適応的ソフトウェア契約による設計アスペクト指向横断的関心事
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2018組込みシステムシンポジウム2018論文集
小規模組込みシステム向けFRP言語への文脈指向プログラミング機構の導入 ↗
- 2014Theory and Practice of Computation (World Scientific)
Compositional Construction of Group-Wide Meta-Level Architectures ↗
- 2006Electronic Notes in Theoretical Computer Science 163・1
An Aspect-Oriented Approach to Modular Behavioral Specifications ↗
- 2006International Symposium on Frontiers in Availability, Reliability and Security
Run Time Detection of Covert Channels ↗
- 1998全国大会講演論文集
自己反映機構を用いた移動エージェント記述言語 ↗
- 1998全国大会講演論文集
CEK-抽象機械による移動オブジェクトの形式的定義 ↗
- 1998全国大会講演論文集
信頼性の高い移動エージェントシステムの構成方法 ↗
- 1998全国大会講演論文集
Ambient Calculusを用いた移動エージェントの形式化 ↗
- 1998全国大会講演論文集
動的コード生成を用いた適応的移動コード ↗
- 1994コンピュータ ソフトウェア
リフレクション ↗
How to assess fit
如何判断这位教授是否适合你
数据库的数据告诉你「这位教授在做什么」;能不能适合你,需要你自己对照以下几点判断。
- 关键词对齐
上面的关键词云里,有没有你研究计划书中反复出现的词?1-2 个重合是起点,3+ 个说明方向接近。
- 近期项目对应
看 KAKEN 项目的时间 — 近 2 年还有活跃项目说明研究室还在跑;只看项目名也大致能判断和你的问题是否相关。
- 不要只看学校名气
方向匹配度 > 学校排名。一位方向对口、还在活跃招生的副教授,往往比一位名气大但快退休的正教授更值得考虑。
- 留意招生信号
查一下该教授的研究室官网,看 OB/OG 名录里有没有中国 / 韩国 / 东南亚学生 — 这是「是否招留学生」最直接的信号。
ℹ️ 后期会加入基于 LLM 的中文画像(例如:「这位教授的研究风格偏...,适合什么样的申请者」),目前先用数据库公开字段 + 编辑建议替代。
数据来源说明:此页所有数据均来自 NII 旗下 KAKEN(nrid.nii.ac.jp)+ CiNii Research(cir.nii.ac.jp)公开 API,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
