埼玉大学 · 理工学研究科 · 教授
吉浦 紀晃
YOSHIURA NORIAKI
别名: ヨシウラ ノリアキ / YOSHIURA Noriaki
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业情報学基礎大区分
- 情報学中区分
- 生活科学小区分
- 複合領域大区分
- 情報学基礎理論中区分
- 情報科学中区分
- 生活科学一般細目
- 総合・新領域系大区分
- 総合系大区分
- 総合領域大区分
- 衣・住生活学細目
- 計算機科学小区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2025KAKENHI-基盤研究(B)電動ファン付き呼吸用保護具(PAPR)ロックダウン代替社会技術システムエアロゾル感染対策装着率ネットワーク管理システム市民参加型感染制御
- 2021KAKENHI-国際共同研究加速基金(国際共同研究強化(B))
低コスト個人用呼吸空気浄化デバイス開発と,フィリピン・セブ市内の病院での運用試験 ↗
自由外出マスク空気感染対策個人用空気清浄デバイスセブ市実証実験パンデミック対応技術PAPRの社会実装ロックダウン代替手段呼吸空気浄化デバイス - 2016KAKENHI-基盤研究(C)
時間論理によるリアクティブシステム仕様のプログラム化可能性判定を行う証明システム ↗
時間論理プログラム合成モデル検査OpenFlowリアクティブシステムSafety PropertyLiveness PropertyCoq - 2015KAKENHI-基盤研究(B)
プライバシー保護と見守りを両立させた防犯カメラによる安全・安心な街づくりの実現 ↗
地域防犯安心安全まちづくりプライバシー防犯カメラ - 2013KAKENHI-基盤研究(C)
時間論理によるリアクティブシステム仕様のプログラム化可能性の判定とプログラム合成 ↗
時間論理モデルチェッキング実現可能性リアクティブシステム適切さの論理仕様記述プログラム化可能性仕様検証 - 2012KAKENHI-基盤研究(B)
プライバシー保護と見守りを両立させた防犯カメラによる安全・安心な街づくりの提案 ↗
住環境地域防犯防犯カメラ - 2009KAKENHI-基盤研究(B)
暗号化を用いた地域社会用の新しい防犯カメラシステム ↗
住環境地域防犯安全・安心防犯カメラシステムプライバシー保護 - 2007KAKENHI-基盤研究(B)
個人所有のPC監視カメラによる自警的防犯社会の実現 ↗
住環境防犯危機管理モニタリング画像復元プライバシー保護見守りシステム防犯・危機管理 - 2003KAKENHI-若手研究(B)
論理結合子の適切さに基づく有益な情報の導出に関する研究 ↗
時間論理仕様記述仕様検証リアクティブシステムシステム検証プログラム合成適切さの論理セキュアコンピューティング - 2000KAKENHI-特定領域研究
論理的仕様を基礎としたセキュアシステムの検証法 ↗
Safety critical system仕様解析安全なプログラム合成ネットワークの安全性解析セキュリティプロトコル安全なシステムアーキテクチャ暗号方式の安全性ハードウェアの安全性
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2018Lecture Notes in Computer Science
Model Checking of TTCAN Protocol Using UPPAAL ↗
- 2018Lecture Notes in Computer Science
Development of a Support System to Resolve Network Troubles by Mobile Robots ↗
- 2017Lecture Notes in Computer Science
The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification ↗
- 2016Lecture Notes in Computer Science
Computational Verification of Network Programs for Several OpenFlow Switches in Coq ↗
- 2010Procedia Social and Behavioral Sciences 2
Restrained surveillance towards community benefit ↗
- 2010Procedia Social and Behavioral Sciences 2
USB memory for surveillance camera software ↗
- 2009Journal of Convergence Information Technology 4
OTag : Architecture to Represent Real World Objects in RF Tags to Improve Future Intelligent Transportation Systems ↗
- 2005GESTS International Transaction on Computer Science and Engineering 11・1
Decision Procedures for Several Properties of Reactive System Specification ↗
- 2005Journal of Community Informatics 2・1
Community Security By Widely Available Information Technology ↗
- 20052^<nd> International Conference on Distributed Computing and Internet Technology, Lecture Notes in Computer Science 3816
Effect of Mobility on Communication Performance in Overload One-dimensional Cellular Networks ↗
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,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
