木下佳樹研究室

ニュース

• 2024-06-25

夏合宿予定

• 場所：湘南国際村センター

• 日程：2024-08-29(木)-30(金)

メンバー

教育活動

(旧サイト)

プログラミング科学研究所

 記事

• 2023-06-24 研究室紹介（3年生科目「情報ゼミナール」配属希望提出のための資料）

• 2023-03-31 定理の証明をコンピュータでチェックする (2023年度情報科学発展演習テーマ)