東京科学大学 · 情報理工学院 · 教授
南出 靖彦
Minamide Yasuhiko
别名: ミナミデ ヤスヒコ / MINAMIDE Yasuhiko / 南出 康彦
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业情報学基礎大区分
- 情報学中区分
- ソフトウェア細目
- ソフトウエア細目
- 情報学基礎理論中区分
- 情報科学中区分
- 総合・新領域系大区分
- 総合系大区分
- 総合領域大区分
- 複合領域大区分
- 計算基盤大区分
- 計算機科学小区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2024KAKENHI-基盤研究(B)プログラム検証プログラム合成不動点論理CHC制約解消リファインメント型高階モデル検査時相的仕様関係的仕様
- 2024KAKENHI-基盤研究(C)
トランスデューサ理論に基づくソフトウェア検証の深化 ↗
ソフトウェア検証トランスデューサ形式言語証明支援系正規表現文字列制約 - 2019KAKENHI-基盤研究(C)
トランスデューサ理論を駆使するソフトウェア検証 ↗
ソフトウェア検証トランスデューサ形式言語理論形式言語文字列制約オートマトン - 2015KAKENHI-基盤研究(C)
形式言語理論を駆使したウェブ基盤技術の検証 ↗
ソフトウェア検証形式言語理論ウェブ正規表現プッシュダウンオートマトン構文解析 - 2013KAKENHI-基盤研究(C)
立体折紙の計算理論の展開と計算折紙ソフトウェアの開発 ↗
計算モデル論計算折紙立体折紙記号計算自動定理証明ソフトウェア検証計算幾何折紙幾何定理の自動証明 - 2012KAKENHI-基盤研究(C)
文字列解析によるウェブソフトウェア開発支援 ↗
ソフトウェア検証プログラム解析ウェブ文脈自由文法プッシュダウンシステムHTML5 - 2009KAKENHI-基盤研究(C)
文字列解析に基づくウェブソフトウェアの検証 ↗
プログラム処理系ソフトウェア検証ウェブソフトウェア情報基礎プログラム解析ソフトウエア検証プログララム解析 - 2008KAKENHI-基盤研究(C)
ルールベースプログラミングのXMLの検証と処理への応用 ↗
XMLルールベースプログラミング情報基礎ソフトウェア開発効率化・安定化ソフトウェア工学 - 2008KAKENHI-基盤研究(B)
記号計算の理論を駆使したウェブソフトアモデル化と検証 ↗
ソフトウェア検証記号計算ウェブ情報基礎ソフトウェア検証ソフトウェア学 - 2006KAKENHI-若手研究(B)
対話的定理証明によるソフトウェアの精密な検証 ↗
ソフトウェア検証定理証明系ホーア論理Hoare論理対話的定理証明プログラム解析
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2023Leibniz International Proceedings in Informatics
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL ↗
- 2022コンピュータソフトウェア
非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定, ↗
- 2016Logical Methods in Computer Science
Weighted Pushdown Systems with Indexed Weight Domains ↗
- 2015International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Synchronized Recursive Timed Automata ↗
- 2014IPSJ Transactions on Programming
Checking Time Linearity of Regular Expression Matching Based on Backtrackingw ↗
- 2011Proc.International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)
Translating Regular Expression Matching into Transducers ↗
- 2009日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編
Rubyのコア言語の操作的意味論 ↗
- 2007Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423
Complexity Results on Balanced Context-Free Languages ↗
- 2007コンピュータソフトウェア Vol.24, No.3
ソフトウェア解説 : Cプログラムの検証ツール Caduceus ↗
- 2007Computer Software 24
Caduceus A Verification Tool for C Programs(Software Review) ↗
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,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
