テキスト・科目
01
データサイエンス応用基礎 B新着
法政大学データサイエンスセンターの応用基礎レベル。全14回の構成と、第3回「数学基礎」（関数・確率・微積分・ベクトルと行列）、第5回「アルゴリズム」（流れ図を1ステップずつ再生、探索・整列・計算量）の動かせる教材。
情報学基礎新着
全14回のインタラクティブ教材。論理ゲートと加算器、情報の表現、ネットワーク、OS、プログラミング言語、暗号、IoT まで。動く JavaScript コンソールと Prolog 推論エンジンつき。章末問題は自動採点。
システム管理論 I・II新着
2科目それぞれ全12回のインタラクティブ教材。ソフトウェア工学と経営科学を、その場で動かして学ぶ。章末問題は自動採点。
オペレーティングシステム
オペレーティングシステムの講義資料。プロセス・スケジューリング・並行性・仮想記憶。
オブジェクト指向 Java
オブジェクト指向言語 Java の講義。クラス・継承・例外・GUI までを体系的に。
Visual C++
C / C++ プログラミング（Visual C++）。言語基礎からアプリケーション開発まで。
並行・並列プログラミング
並行・並列プログラミング演習。スレッド・同期・並行データ構造を Java で。
Java アプレット
Java アプレットの作例集。アルゴリズムやデータ構造をインタラクティブに可視化。
Standard ML
関数型言語 Standard ML の教科書（修正・第2増補版, 236頁）。型・関数・データ型・モジュールに加え、字句解析・構文解析、生成器の自作、Prolog と C コンパイラの実装、型健全性の証明まで。2026年に macOS（SML/NJ 2026.1）と Linux（Poly/ML）で動作確認済：例題は両方で同じ出力になり、自作処理系のビルドと Coq/Rocq の証明検証も通った。付録Cに結果と、どの機械でどの処理系を使うかをまとめている。
Unix ワークステーション
Unix ワークステーション入門テキスト（470頁）。シェル・ツール・開発環境の基礎。2026年の検証を加えた版：本文に出てくる道具161個を macOS と Linux（Ubuntu 24.04）の2環境で確かめ（それぞれ107個・106個が今も使える／43個はどちらにも無い）、例題を両方で実際に走らせて突き合わせた。各章の冒頭に「そのまま使える／読み替えが要る」を明記し、第23章に対照表と実行結果をまとめている。
C 言語ガイドブック
C 言語の入門ガイド（修正・増補版）。型・演算子・制御構造・配列・ポインタ・関数・構造体・ファイル入出力に、現代の C（C99〜C23）の付録を追加。
帰納論理プログラミング (ILP) 資料
ILP 解説の改良版資料（PDF）。説明可能性と背景知識に加え、Progol の逆伴意（最飽和節）と動物分類の学習実装、BCP・LFIT までを収録。
研究・ノート
02AICE / AIPL 研究レポート ── 全39本を日付順に
AI エージェント・モデル呼び出し・記憶・ツール・UI・OS サービスをすべて actor として扱う 知的計算環境 AICE と、その記述言語 AIPL（ABCLc+）。言語仕様と型システムの設計、 型健全性の Coq による機械検証、そして応用研究 ── ドローンによる避難支援 MANET の再現実験、 6軸アーム型ロボットの Xinu メッシュ制御、ベアメタル Xinu 上の分散実行 ── すべて PDF で。
一覧を見る →最新は 「AIPL の言語仕様の検討」（全29ページ・2026年7月30日） です。
帰納論理プログラミング (ILP) 入門
例から論理規則を帰納する。説明可能性と背景知識、応用として BCP(CILP++) と 井上克己先生らの LFIT、一階版で Rule 90 を1規則に ── 実際に動かして解説。
読む →資料でお読みになりたい方へ ── 改良版は PDF（全16ページ） でもご覧いただけます。
Z世代は何を「読む価値」と判断しているか ── ニュース接触研究ノート
読売新聞と法政大学児玉ゼミの共同研究ノートの解説と、研究方法からの講評。SNSインフラ化・高速価値判断・理解コストなどの仮説、施策3案、次回アンケート設計まで。
読む（パスワード保護）→資料でお読みになりたい方へ ── 改良版は PDF（全36ページ・パスワード保護） でもご覧いただけます。
法政大学教職員卓球部 ── 2005〜2010年の記録と写真
2005年からウィキに書きためていた練習と大会の記録、そして写真60枚。 元のプログラムが動かなくなっていたため、本文と写真を取り出して読める形に作り直しました。 外部からの書き込みで荒らされた部分は取り除き、荒らされる前の版が残っているページは復元しています。
開く →