Proof Explorer - Home Page - Metamath
The aleph null above is the symbol for the first infinite cardinal number, discovered by Georg Cantor in 1873 (see theorem aleph0). This is the starting page for the Metamath Proof Explorer subproject (set.mm database). See the main Metamath Home Page for an overview of Metamath and download links. If you wish to contribute your own proofs to the Metamath project, see How can I contribute to Metam
InteractiveJS その３ - nak2kのブログ
moongiftさんからコメントがきていたので慌てて修正版をアップロードするエントリー（汗 以下の点を修正しています。 グローバルコンテキストの名前の汚染を最小限になるように修正。 入力されたスクリプトの実行をグローバルコンテキスト直下でevalするように修正。 実行時にスクリプトのあるディレクトリにlibサブディレクトリがなくてもエラーにならないように修正。 終了はCtrl+Zでできます。 ijs.jsのダウンロード ライセンスはこの内容だと Public Domain Software ってことにしても問題ないかな、と。 （まさかMoongiftさんのようなとこから紹介の問い合わせが来るとは思ってなかったのであまり考えてなかったのです^^;） 一応、これまでの経緯へのリンク。 Win版インタラクティブJavaScript - nak2kのメモ帳 InteractiveJS その２ -
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
