京都大学
数理解析研究所
計算機科学研究分野
English
Japanese
ホーム
研究
概要
メンバー
イベント
セミナー
論文リスト
学位論文リスト
ソフトウェア
ラボ
教育
カリキュラム
学生募集
授業
教科書
開発ソフトウェア・リスト
当研究分野およびその構成員が開発したソフトウェアリスト
Prolog KABA
Wnn
クライアント・サーバ型仮名漢字変換システム
GMW
オブジェクト指向型マルチウィンドウシステム
KCL
Kyoto Common Lisp
も〜
WWW ブラウザ MMM 日本語版。
Objective Label
Objective Camlを拡張し、ラベル付引数、省略可能引数を扱えるようにした 関数型言語。Tcl/Tk とのインターフェース LablTk と、 プログラミング支援 ツール LablBrowser がついています。
Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.