サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
TGS2024
tsukimi.agusa.i.is.nagoya-u.ac.jp/~sydney
PukiWiki 1.4.6 Copyright © 2001-2005 PukiWiki Developers Team. License is GPL. Based on "PukiWiki" 1.3 by yu-ji. Powered by PHP 4.3.8. Skin by YEAR OF THE CAT
PiMonad - a network programming framework based on Pi-Calculus What is PiMonad? PiMonad is a library for functional programming language Haskell. Points are : Lightweight implementation of the Pi-Calculus, a process algebra with channel-passing feature. Network programming framework equipped with channel-passing feature. (Future work) Design with Pi-Calculus, verify it, then implement it with PiMo
C++ source code with Windows executable binary (112kb, NO WARRANTY). This program only shows you a window like above. The source depends on the boost library. Maybe this can be built with *nix or Mac, only by changing depend.cpp to use syd::SDLWindow. Hodgepodge machine animation (a kind of cellular automata) C++ source code with Windows executable binary (92.9kb, NO WARRANTY). An implementation o
次回の予定 † 日時:2008/09/24(水) 18:30〜 (開始時刻が変更されました) 場所:名古屋大学 IB館 南棟 5階 エレベーターホール 内容 はてなインターン中の講義内容紹介(Gemmaさん) javascript, NekoVM, swf, PHPにコンパイルできるocaml製言語haXeについて。(話者:?) ↑ [NEWS] † オープンソースカンファレンス2008 名古屋で発表してきました。 詳しくはこちら OCaml-3.10.2 来ました!(2008-02-29) http://caml.inria.fr/ocaml/release.en.html 3.10.1 からの変更点 主に不具合修正. windows環境下でstr.mliが見付からなかったら、再インストールしましょう。 OCaml-3.10.1 来ました!(2008-01-11) 3.10.0 からの変
このページを最初にブックマークしてみませんか?
『tsukimi.agusa.i.is.nagoya-u.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く