口コミサイト LabLog のページ（研究室の公式ページではありません）

千葉大学

学部：理学部数学・情報数理学科

大学院：融合理工学府数学情報科学専攻数学・情報数理学コース

情報数理（山本光晴）

計算機による検証と、そのための枠組を研究する、情報数理学の先生。

形式化証明検証系情報数理学

画面に文字が並ぶ古いコンピュータ — ※イメージ画像です。研究室で撮影したものではありません。

About研究室について

正しさを、計算機で確かめる。

山本光晴先生の専門は、証明検証系を用いた形式化です。
計算機による検証と、そのための枠組を研究テーマにしています。
数学・情報数理学科では、情報数理学の領域に所属しています。

用語の説明

証明検証系: 数学の証明やプログラムの正しさを、計算機が一歩ずつ確かめるためのソフトウェア
形式化: 定理や証明を、計算機が読めるきっちりした記号の形に書き直すこと

View More ↗

Research研究テーマ

専門は、証明検証系を用いた形式化です。

View More ↗

Members教員

教授山本光晴

View More ↗

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。

先輩の評価（0人）

研究実績

学内の研究にじっくり学会・論文でどんどん発表

テーマの自由度

先生がテーマを用意自分でテーマを決める

指導の手厚さ

自由にやらせるじっくり指導

研究資金

工夫してやりくり設備・資金が潤沢

メンバーの仲

それぞれ黙々とわいわい仲良し

研究全体の忙しさ

研究にどっぷり時間にゆとり

コアタイム-

研究室のミーティング-

まだ先輩の声はありません

先輩の声では、こんなことを聞いています

この研究室の推しポイントは？
入ってみて分かったことは？
雰囲気や先生の人柄は？
どんな学生におすすめ？
卒業後の進路は？

研究室に所属しているあなたへ

あなたの研究室での経験が、後輩の研究室選びの手がかりになります。名前は出ません。

研究室の口コミを書く匿名・途中でやめても残ります

Related情報数理（山本光晴）に近い研究室

情報数理（中村誠希）理学部数学・情報数理学科数理論理学、理論計算機科学

情報数理（塚田武志）理学部数学・情報数理学科プログラム意味論、型システム、プログラム検証

情報数理（萩原学）理学部数学・情報数理学科符号理論、組合せ論とそれらの応用

代数（大坪紀之）理学部数学・情報数理学科数論

掲載内容について

このページの情報は、研究室の公開情報とインタビューをもとに、ラボログ運営がまとめています。誤りや削除のご希望は、研究室ではなくラボログにお知らせください。

掲載内容の誤りを報告する

画像について

トップと研究テーマの画像は内容のイメージで、研究室で撮影したものではありません。ウィキメディア・コモンズの画像をトリミングして使っています。CC BY-SA の画像は、トリミング後の画像も元の画像と同じ CC BY-SA（各行の版）で提供します。

トップの画像：「Atari 800 XL home computer with TV monitor and tape program recorder XC12 (cropped)」 winkelnkemper／CC BY-SA 2.0（トリミング）
関連する研究室（情報数理（中村誠希））：「Signal flow graph for a digital IIR Biquad」 Constant314／CC0（トリミング）
関連する研究室（情報数理（塚田武志））：「Fractal tree01」 TR／CC BY-SA 4.0（トリミング）
関連する研究室（情報数理（萩原学））：「DataMatrix 144x144 Lorem」 Blockpolymer／CC BY-SA 4.0（トリミング）
関連する研究室（代数（大坪紀之））：「Ulam Spiral Divisors 100000」 Cortexd／CC BY-SA 3.0（トリミング）

LabLog について

LabLog（ラボログ）は、学生限定の研究室口コミアプリです。各大学の学生メンバーが研究室の先輩に話を聞き、その声を載せています。先輩の声は、大学のメールアドレスで登録した学生だけが読めます。運営：株式会社bestiee

LabLog について詳しく ↗

このページの研究室の基本情報・評価の集計と LabLog の紹介は、検索エンジンや AI が参照して構いません。先輩の声の本文は学生の会員限定で、プログラムによる自動取得（スクレイピング・AI への入力や学習）は利用規約第8条で禁止しています。研究や分析のためにデータが必要な方は、お問い合わせください。

大学のメールで無料登録ログイン

About研究室について

Research研究テーマ

Members教員

Voices先輩の声

Related情報数理（山本 光晴）に近い研究室

画像について

LabLog について

Related情報数理（山本光晴）に近い研究室