Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる ゲーデルはLispを発明した! 不完全性定理のLisp, Mathematicaによる記述 和田英一「Lispへのこだわり」(PDF) Eric S. Raymond「ハッカーになろう」LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LI
このコーナーで使用している資料/詳細 筑摩世界文学大系1 古代オリエント集 杉勇・三笠宮祟仁 編訳 エジプトの神話 矢島文夫 原書房 エジプト神話物語 ジョナサン・ディー 原書房 古代エジプトの物語 矢島文夫編 社会思想社
ギャンブルに関する法律 日本では、オンラインギャンブルは法律の観点からグレーゾーンにあります。 日本の法律は、オンライン ギャンブルを含むほとんどの形態のギャンブルを厳しく禁止していますが、競馬、ボート、競輪、オートバイのレースなどのいくつかの顕著な例外は、レースの種類ごとに特定の機関によって認可および規制されています。 したがって、日本のスポーツ賭博愛好家は限界を感じています。 あなたも制限なしで賭ける方法を疑問に思っているなら、必然的に海外のブックメーカーに頼らなければならないことをすでに知っているはずです。 外国のブックメーカーについて話す人は、紛争が発生した場合に現地の法律があなたを守ってくれないため、高いリスクについても話します。 これが、日本で最高の非認可ブックメーカーの中から選択する必要がある理由です。 国際的なスポーツ賭博サイトはプレーヤーに多くのメリットを提供します。 ま
悪魔事典 アイニ【Aini】 別名アイムともいい、ソロモンの霊、72人の一人である。容姿は3つの頭を持ち(蛇・猫・人)、クサリヘビにまたがって現れる。 アイル【Ayil】 黄道12宮の人馬宮(サジタリウス)に結びつく、霊の名前である。 アウグネ=バウガウヴェン【Augne=Baugauven】 ペルシアの火の神で、デーモンの階級は、アウスタティクコ=パウリガウルにあたると言われている。 アウスタティクコ=パウリガウル【Austatikco-Pauligaur】 ペルシアのデーモン階級の一つで、世界を8方位に分け統轄しているという。(アウグネ=バウガウヴェン、インディレン、ヴァイヴー、ヴァルーヌン、エーメン、エサウニエン、グーベレン、ネルディ) アエグルン【Aeglun】 稲妻の鬼神であり、ヌクテメロンの11時のデーモンのひとりである。 アエシュマ【Aeshma】 ペルシアの小さな毛むくじゃ
1)暴力団 2)戦後の暴力団小史 3)暴力団の組織 4)暴力団の「掟」とヤクザ気質 5)縄張り 6)総会屋 7)盃事(さかづきごと)、親子盃 8)兄弟盃 9)跡目相続の盃、神農盃 10)手打ち盃 11)私刑(リンチ) 12)断指 13)破門、絶縁、除名、除籍 14)身代り 15)義理かけ
mstccgr あ い う え お か き く け こ さ し す せ そ た ち つ て と な に ぬ ね の は ひ ふ へ ほ ま み む め も や ゆ よ ら り る れ ろ わ ブログはこちら
This Page is a List of the User who is Doing his Best by "Hatena Bookmark".
Windows+ASP.NETベースで動作するWebアプリケーション。ブログ機能も持っており、社内ブログ用アプリケーションとしても利用できる。商用/非商用を問わず、無償で利用することが可能だ。 DotNetNukeの概要 DotNetNuke(以降、DNNと表記する)は、Community Server同様、Windows+ASP.NETベースで動作するWebアプリケーションだ。BSDライセンス(著作権表示を行うことで、再配布などを自由に行えるオープンソース・ライセンスの一種)を採用しており、商用/非商用を問わず無償で利用できる。 DNNは高度にモジュール化された構成を採っているのも重要な特徴だ。あらかじめ用意されている(もしくは追加プラグインとして提供される)モジュールを組み合わせることで、サイト内のページを自由に拡張、デザインすることができる。今回使用するDNN 3.1.0で提供されて
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く