木下佳樹研究室
神奈川大学理学部情報科学科
情報学部計算機科学科
記事
2023-06-24 研究室紹介（3年生科目「情報ゼミナール」配属希望提出のための資料）
2023-03-31 定理の証明をコンピュータでチェックする (2023年度情報科学発展演習テーマ)
神奈川大学理学部情報科学科
情報学部計算機科学科
記事
2023-06-24 研究室紹介（3年生科目「情報ゼミナール」配属希望提出のための資料）
2023-03-31 定理の証明をコンピュータでチェックする (2023年度情報科学発展演習テーマ)