情報学ブログ:科学が論理ではないけど正しい理由 と愚者の戯文：科学と論理は同じ「論理」という言葉を使って議論しているけど、実際に言及したい点が違っている。 形式論理において論理体系とは、以下の3つで構成されるもの。 論理式を構成する語彙 論理式の形成規則 どういう性質をもつ論理式を恒真式と見なすのかを決める論理的帰結 統語論の観点からは、論理的帰結はヒルベルト形式の公理システムとゲンツェンの自然演繹システムならば公理と推論規則で定義される。ゲンツェンのシーケント計算システムならば、始式と推論規則で定義される。他の形式システムではそれぞれに論理的帰結が定義されている。 ある分野の経験的真理（その分野では正しいと認められていること）をある論理体系 L の語彙と論理式の形成規則に基づく論理式として表現する。それらの経験的真理と論理体系Lをあわせ、Lの論理的帰結に従い、導出したすべての「真」である

新潟県長岡市を「フルートの街」に♬世界で活躍する奏者・小山裕幾さん、故郷で次世代育成へ合宿開催　8月21日に成果披露演奏会

バンプレストが販売するくじ引き「一番くじプレミアム」に、今月8月下旬から人気アニメ「魔法少女リリカルなのは 」が仲間入りします。はてなブックマークでは、主役の2人が登場するコミカルなウェブCMが話題になっています。 「一番くじ」シリーズは、バンプレストが全国のコンビニやゲームセンターなどで販売している“ハズレなし”のオリジナルくじ引き。景品には「けいおん！」「新世紀エヴァンゲリオン」「ONE PIECE」「ポケットモンスター」といった人気アニメのグッズがラインナップされており、1回500円の「一番くじ」や、1回800円の「一番くじプレミアム」などがあります。 そんな一番くじシリーズに、この度人気アニメ「魔法少女リリカルなのは」の登場が決定しました。YouTubeのバンダイナムコゲームス公式チャンネルでは、発売に先がけてCMも公開されています。 CMに登場するのは、今年2010年1月に公開さ

2005年からスタートした、フジテレビの深夜アニメ枠「ノイタミナ」。これまでに、「ハチミツとクローバー」や「のだめカンタービレ」「東のエデン」といったヒット作品を放送してきた同枠の、新作発表が行われました。タイトルは「フラクタル」。「涼宮ハルヒの憂鬱」「らき☆すた」などで知られる山本寛監督が、自身の“引退”をかけた冒険ファンタジーに挑みます。 ▽ http://fractale.noitamina.tv/ 2011年1月に開始予定のTVアニメ「フラクタル」。未来の世界を舞台としており、世界を管理する“フラクタル・システム”の崩壊により崩れていく人類の楽園と、その秘密に迫る少年クレインの冒険を描いています。 監督を務めるのは“ヤマカン”こと山本寛氏。同氏がノイタミナ作品に関わるのは、今回が初となります。また、シリーズ構成は「黒執事」や「CANNAN」「とらドラ」などで知られる岡田麿里氏、スト