まじかんと

コンテンツ

#JavaScript
JavaScript (ECMAScript) でプログラムを作ったものがいくつかあります。
タイマストップウォッチ素因数分解HTML を XHTML に変換ユーザエージェント判別……
#Apps
制作したアプリケーションソフトウェア等を公開しています。
コンピュータ関連メモ
コンピュータ関連のメモ
プログラミングメモ
プログラミングに関するメモ
日本語関連メモ
日本語に関するメモ
アニメ関連メモ
アニメに関するメモ

サイト更新情報

2013 年 5 月 7 日
プログラミングメモ検査例外と場合分けと多態性の話を追加
2012 年 11 月 11 日
ユーザエージェント判別を更新
2011 年 11 月 13 日
アニメ放送枠の変遷更新
2010 年 12 月 6 日
文字化け判別表追加
2010 年 11 月 30 日
Coq クィックリファレンス更新 (コンストラクタの適用 を追加)
2010 年 11 月 27 日
Coq クィックリファレンス更新 (証明事例集: 自前で inversion を行う, 否定と矛盾 を追加)
2010 年 11 月 24 日
Coq クィックリファレンス更新 (帰納法と場合分けintros, decompose タクティクの説明を追加)

著作権の保護期間延長に反対します

このウェブサイトの製作者は、著作権の保護期間延長に反対しています。

関連情報

© 2006-2013 Magicant (magicant.starmen@nifty.com) / 更新 2013-05-07 / 初出 2006-01-01