新潟大学 · 自然科学系情報電子工学系列 · 教授
青戸 等人
AOTO Takahito
别名: アオト タカヒト
16KAKEN 项目
20CiNii 论文
20主要关键词
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
主业情報学基礎大区分
Fundamental theory of informatics2 个 KAKENHI 项目
情報学中区分
Informatics2 个 KAKENHI 项目
ソフトウェア細目
Software1 个 KAKENHI 项目
情報学基礎理論中区分
Theory of informatics1 个 KAKENHI 项目
情報科学中区分
1 个 KAKENHI 项目
総合・新領域系大区分
Integrated Science and Innovative Science1 个 KAKENHI 项目
総合系大区分
Integrated Disciplines1 个 KAKENHI 项目
総合領域大区分
Comprehensive Fields1 个 KAKENHI 项目
複合領域大区分
Complex systems1 个 KAKENHI 项目
計算基盤大区分
Computing Technologies1 个 KAKENHI 项目
計算機科学小区分
1 个 KAKENHI 项目
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
項書き換えシステム9合流性7定理自動証明6書き換えシステム5プログラム変換4停止性4書き換え帰納法4変換パターン3帰納的定理3情報基礎3自動検証3ソフトウェア検証2プログラム検証2基底合流性2条件付き項書き換えシステム2項書き換え系2項書換え系2AC記号1NFP性1UNC性1
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
2024KAKENHI-基盤研究(C)
項書き換えシステム合流性条件付き項書き換えシステムモデル生成器
2021KAKENHI-基盤研究(C)
正規形項書き換えシステムUNC性NFP性UNR性合流性項書換えシステム一意正規形性
2018KAKENHI-基盤研究(C)
帰納的定理基底合流性条件付き項書き換えシステムホーン節論理合流性項書き換えシステムホーン節帰納的定理補題生成法
2016KAKENHI-基盤研究(C)
書き換えシステムプログラム検証
2015KAKENHI-基盤研究(C)
項書き換えシステム基底合流性書き換え帰納法基底合流生
2013KAKENHI-基盤研究(C)
項書き換えシステム合流性定理自動証明自動検証
2011KAKENHI-基盤研究(C)
項書き換えシステム自動定理証明帰納的定理補題発見
2010KAKENHI-基盤研究(C)
書き換えシステム合流性自動検証停止性モジュラ性
2008KAKENHI-基盤研究(C)
定理自動証明書き換えシステムリップリング書き換え帰納法潜在帰納法健全一般化法発散鑑定法合流性
2007KAKENHI-基盤研究(C)
プログラム理論プログラム変換情報基礎定理自動証明書き換えシステム書き換え帰納法融合変換変換パターン
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
2020第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集
2019第21回プログラミングおよびプログラミング言語ワークショップ
2019第21回プログラミングおよびプログラミング言語ワークショップ
2014コンピュータソフトウェア
2013コンピュータソフトウェア
2013コンピュータソフトウェア
2013Lecture Notes in Computer Science
2012Proceedings of the 6th International Conference on Graph Transformation (ICGT 2012)
2010IEICE Transactions on Information and Systems Vol.E93-D、No.5
2010Proceedings of the 21st International Conference on Rewriting
How to assess fit
如何判断这位教授是否适合你
数据库的数据告诉你「这位教授在做什么」;能不能适合你,需要你自己对照以下几点判断。
- 关键词对齐
上面的关键词云里,有没有你研究计划书中反复出现的词?1-2 个重合是起点,3+ 个说明方向接近。
- 近期项目对应
看 KAKEN 项目的时间 — 近 2 年还有活跃项目说明研究室还在跑;只看项目名也大致能判断和你的问题是否相关。
- 不要只看学校名气
方向匹配度 > 学校排名。一位方向对口、还在活跃招生的副教授,往往比一位名气大但快退休的正教授更值得考虑。
- 留意招生信号
查一下该教授的研究室官网,看 OB/OG 名录里有没有中国 / 韩国 / 东南亚学生 — 这是「是否招留学生」最直接的信号。
ℹ️ 后期会加入基于 LLM 的中文画像(例如:「这位教授的研究风格偏...,适合什么样的申请者」),目前先用数据库公开字段 + 编辑建议替代。