Naoki Kobayashi 研究室

主宰者：Naoki Kobayashi
東京大学

AI 要約（直近 5 年の研究成果）

小林研究室では、複数の分野にわたる多様な研究が展開されていますが、特に大きな柱として、プログラムの安全性・正確性を自動で検証する方法の開発に取り組んでいます。関数型プログラミング言語やメモリ操作を含むシステムプログラミング言語（Rust など）を対象に、プログラムが期待通りに動作することを保証する型システムや論理式の充足可能性問題への変換法を提案しています。これらの手法により、プログラムの終了性やメモリ安全性、時間的性質に関する自動検証を実現しています。 一方、医療・生物学分野では、手術環境での外科医の負担計測、放射線医学における人工知能の応用評価、および代謝疾患の分子機構に関する研究を進めています。ロボット支援手術時の生理的疲労の客観的な測定方法の開発、医学試験におけるLLMの有効性の検証、そして肥満時の糖代謝調節メカニズムの解明などが含まれます。また、機械工学領域では、ロボットシステムに用いられるアクチュエータの設計や人間型ロボットの動的制御に関する研究も実施しています。さらに自然言語処理や医学に関わる社会実装的な課題、微生物学的な分析手法開発など、理工学から生命科学、医療応用まで幅広い領域にわたる研究が特徴となっています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（27 件）

続きを表示（残り 17 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。