東京科学大学 · 情報基盤センター · 教授
西崎 真也
Nishizaki Shinya
别名: ニシザキ シンヤ / Nishizaki Shin-ya / NISHIZAKI Shin-ya
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业ソフトウエア細目
- 情報学中区分
- 情報学基礎大区分
- 情報科学中区分
- 数学中区分
- 数学一般(含確率論・統計数学)小区分
- 理学大区分
- 知能情報学小区分
- 総合・新領域系大区分
- 総合領域大区分
- 複合領域大区分
- 計算機科学小区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2020KAKENHI-基盤研究(C)関数型言語例外処理継続制御捕獲型システムラムダ計算関数プログラミングプログラミング言語理論
- 2012KAKENHI-基盤研究(C)
故障の計算モデルと解析手法 ↗
モデル検査システム検証故障計算モデルプロセス代数プロセス計算システムの形式化システム故障 - 2004KAKENHI-若手研究(B)
線型論理を応用した安全性向上のためのコスト解析の形式的手法 ↗
線型総論DoS攻撃耐性コスト解析線形論理プロトコルDoS攻撃計算コスト解析線型論理 - 2001KAKENHI-若手研究(B)
デバッギングを指向した型推論に関する研究 ↗
デバッギング型推論プログラミング言語関数型言語 - 2000KAKENHI-特定領域研究
論理的仕様を基礎としたセキュアシステムの検証法 ↗
Safety critical system仕様解析安全なプログラム合成ネットワークの安全性解析セキュリティプロトコル安全なシステムアーキテクチャ暗号方式の安全性ハードウェアの安全性 - 1999KAKENHI-奨励研究(A)
自己反映的プログラミングにもとづく動的分散ライブラリ機構の研究 ↗
自己反映プログラミング分散ライブラリ分散プログラミング関数型プログラミング自己反映的プログラミング動的ライブラリファーストクラス環境 - 1998KAKENHI-基盤研究(C)
型理論の意味論と文法的性質の関係 ↗
型理論意味論モデルカテゴリ理論文法的性質強制規化部分構造論理強正規化 - 1998KAKENHI-特定領域研究(A)
環境の理論によるプログラミング言語の発展機構に関する研究 ↗
プログラミング言語 - 1997KAKENHI-重点領域研究
ソフトウェアの発展における環境の理論に関する研究 ↗
ソフトウェア発展環境ラムダ計算関数型プログラミング - 1997KAKENHI-奨励研究(A)
自己反映的プログラミングのための計算・論理体系 ↗
プログラミング言語リフレクション環境論理ラムダ計算
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2015コンピュータ ソフトウェア
論理と計算のしくみと私 ↗
- 2010日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編
実行速度に依存するシステムの形式化と検証 ↗
- 2006コンピュータソフトウェア 23・3
通信プロトコルにおけるサービス不能攻撃態勢のための型付π計算 ↗
- 2006第3回システム検証の科学技術シンポジウム論文集
Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析 ↗
- 2005日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編
等式アーカイブにおける安全な検査 ↗
- 2005情報処理学会論文誌 46・SIG4
多相環境計算の強正規化可能性 ↗
- 2005日本ソフトウェア科学会第22回大会予稿集 (CD-Rom)
プロコルのDoS攻撃耐性解析のための計算体系における時間モデル ↗
- 2004日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編
対話的証明器つき証明文書 ↗
- 2001日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編
対称的な型推論アルゴリズム ↗
- 2000日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編
環境計算とオブジェクト計算との比較 ↗
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,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
