学部生
情報システム学科の学部3年生・4年生。卒業研究、個人研究、研究室活動への参加について相談できます。
JOIN JIA LAB
募集
まだ答えのない問いを、数学と情報科学の力で一緒に探究しませんか。
WHO WE WELCOME
好奇心を、自分だけの研究へ
賈研究室では、数学的・構造的な視点から、機械学習、アルゴリズム、人工知能、計算折紙などの問題を探究したい学生を歓迎しています。
配属前から高度な数学やAIに詳しい必要はありません。「なぜこの方法でうまくいくのか」「別の表し方はできないか」「まだ誰も考えていない問いに挑戦したい」と感じることが、研究の大切な出発点です。必要な理論、プログラミング、論文の読み方は、テーマに合わせて段階的に学びます。
学生一人ひとりの関心と得意分野を尊重し、教員との相談を重ねながらテーマを具体化します。理論だけ、実装だけに偏るのではなく、問題設定、数理モデル、アルゴリズム、実験、発表をつなげ、自分の言葉で研究の価値を説明できるところまで取り組みます。
ELIGIBILITY
配属・研究参加の対象
大学院志望者
修士課程・博士課程への進学を考えている方。他大学・他分野からの進学希望者も歓迎します。
研究生・研究参加
研究生、研究インターン、共同プロジェクトなどを希望する方。受入条件や期間は個別に相談します。
A GOOD FIT
こんな方に向いています
現在の知識量よりも、問いを大切にし、試行錯誤を続ける姿勢を重視します。
- 仕組みを理解したいAIを使うだけでなく、その背後にある数学、構造、アルゴリズムを考えたい。
- 少し変わった問いが好きすぐに答えが出ない問題を面白いと感じ、自分なりの視点を育てたい。
- 理論と実装を往復したい数式やモデルを、プログラム、計算実験、可視化、模型などで確かめたい。
- 自分から学び、相談できる文献を読み、手を動かし、分からない点や考えをゼミで共有できる。
- 学外・国際的な研究に関心がある学会発表や国内外の研究者との共同研究にも挑戦したい。
RESEARCH OPTIONS
取り組める研究テーマの例
次の領域を中心に、学生の興味と学修状況に合わせて具体的なテーマを設計します。
MATHEMATICAL AI
数理構造と機械学習
圏論、トポス理論、関数解析などを用いた学習・推論・モデル表現。
FORMAL MODELING
PetriネットとAI
ニューラルネットワーク、複雑システム、情報流の構造的なモデル化と検証。
COMPUTATIONAL ORIGAMI
計算折紙・アルゴリズム
平坦折り可能性、グラフ、順序、行列表現、設計支援と可視化。
SCIENTIFIC AI
AIの信頼性と科学的推論
AIの適用範囲、不確実性、説明可能性、科学データ解析の評価。
AI AGENTS
エージェントと記憶の数理
記憶、行動、モジュール構成、継続学習を動的・圏論的に理解する研究。
YOUR QUESTION
持ち込みテーマ
研究室の専門性を活かせるテーマであれば、学生自身の問題意識から相談できます。
HOW WE WORK
研究の進め方
- 01
興味を言葉にする
対話と文献調査を通して、関心のある現象や疑問を研究可能な問いへ整理します。
- 02
必要な基礎を学ぶ
数学、アルゴリズム、プログラミング、先行研究を、テーマに必要な順序で学びます。
- 03
モデルをつくり、検証する
数理モデルや手法を設計し、証明、実装、計算実験、比較評価を行います。
- 04
成果を伝える
ゼミ発表、卒業論文、学会発表、論文投稿を通じて、研究の意義と限界を明確に伝えます。
VISIT & TALK
まずは研究室を見に来てください
研究テーマがまだ決まっていなくても問題ありません。研究室の雰囲気、活動内容、進学後の研究について知りたい方は、見学または個別相談をご利用ください。お問い合わせの際は、お名前・ご所属・関心のある分野・相談したい内容をお知らせください。