神奈川大学理学部情報科学科
情報学部計算機科学科
ニュース
2026-02-09 〜 10 春合宿予定
2025-08-27 〜 28 夏合宿予定
2025-02-05 〜 06 春合宿
2024-08-25 〜 26 夏合宿
メンバー
教育活動
(旧サイト)
プログラミング科学研究所
記事
2023-06-24 研究室紹介（3年生科目「情報ゼミナール」配属希望提出のための資料）
2023-03-31 定理の証明をコンピュータでチェックする (2023年度情報科学発展演習テーマ)