UEDA Lab.

公開ソフトウェア

ハイブリッドシステム

[portal] 制約概念に基づくハイブリッドシステムモデリング言語HydLa

グラフ書換えモデル検査

並行論理プログラミング

[revived!] KLIC: Portable implementation of KL1 (version 3.014) （上田和紀）
- KLIC3.003以降の改良を統合してバグ修正および整備を行い，最近のLinux (Ubuntu 22.04LTS, Raspberry Pi OS, CentOS 7.6), macOS (Mojave, needs Xcode 9 or below), 32-bit Cygwin 環境でのビルド，およびこれらの環境のマルチコア/SMPマシンでの並列動作を確認したKL1 (GHC=Guarded Horn Clauses) 言語処理系です．インストール方法などはまず README-FIRST を参照してください。3.012-3.014はドキュメントと例題集以外は3.011と同じものです。
- 以前の版：
  - KLIC-3.005（金木佑介，松村量，中島求）
  - KLIC-3.003のソケット拡張と共有ライブラリ化（五十嵐宏、高木祐介）
  - 汎用計算機上のKL1言語処理系KLIC
- KLICプログラミング用の Emacs メジャーモード (金木佑介)
[revived!] GHC system running on top of SWI-Prolog （上田和紀）
klint - KL1プログラム自動解析系 (version 2.2)（上田和紀）
kima - KL1プログラム自動修正系 (version 2.2)（網代育大）
KL1からJavaへのコンパイラおよび実行環境 KLIJava (第３回(1998年)KLICプログラミングコンテスト自由課題部門優秀作品、倉持聡)
KL1ロボットバトルシミュレータkrbs (第１回(1996年)KLICプログラミングコンテスト自由課題部門最優秀作品、長健太)

ラムダ計算

Lambda * Magica: An Untyped Lambda Calculus Interpreter for Education (Yuuki Shinobu)
Webページ上で動作するラムダ計算のインタプリタ「らむだフレンズ」 (山本直輝)

WWW検索

WhiteMap - ブラウジング履歴のリアルタイムな可視化と共有（三上啓太、岡部亮）

ソフトウェアツール

Javaスクリプトによるカウンタ (上田学)
Human Accessory シリーズ X用グラフィカルツール (長健太)
htmlj-mode html-mode と違って、便利で綺麗で日本語チュートリアル付きの htmlj-mode (上田学)
Eplaymidi Playmidiへのパッチおよび周辺ソフトウェア（倉持聡）
Diald Control − Linux上のdialdをIP masqueradeを使ったLAN環境で使いやすくするためのツール（新見嘉顕)
プロットファイル→SVGアニメーション一括変換ツール　PltSVG (笹嶋　唯)

公開資料

独学JavaScript　JavaScriptスクリプトの解説 (上田学)

HTML Reference ウェブドキュメント作成の参考に (吉田法茂)

Style Sheets Reference HTML の新しいデザイン法「スタイルシート」の解説。対応ブラウザは InternetExplorer3.0x のみ (吉田法茂)

Google Spread SheetでArrayformulaを使おう関数別置き換え一覧 GoogleスプレッドシートでArrayformula関数を使用する際のhow-toをまとめたページ(坂爪裕也)

初学者向けCHRの使い方まとめ (角谷法彦)

Last update: August 3, 2023

vvvvvv-admin@ueda.info.waseda.ac.jp