最新記事(inside out)へ | 年と月を指定して記事を読む（クリック!） / 2001/ 2002/ 2003/ 2004/ 2005/ 2006/ 2007/ 2008/ 2009/ 2010/ 2011/ 2012/ 2013/ 2014/ 2015/ 2016/ 2017/ 2018/ 2019/ 2020/ 2011年9月 を読む << 2011年10月 を読む >> 2011年11月 を読む 「asada's memorandum (ゴッホの本当のすごさを知った日)」を読みました。この内容が、実に間違った論証の典型的パターンに陥っていました。そこで、「ゴッホの本当のすごさを知った日」の論旨が「どのように間違っているか」について書きます。さらに、19世紀 後期印象派の画家であるゴッホの色彩について、「ゴッホの本当のすごさを知った日」で書かれていることとは「違うこと」を示し
Index of /Projects/DLLearner NameLast modifiedSizeDescription Parent Directory - Architecture/2015-01-29 08:12 - Carcinogenesis/2015-01-29 08:25 - LearningExamples/2015-01-29 08:13 - Overview/2015-02-03 07:15 - PatternEnrichment/2015-01-29 08:12 - Php_client/2015-02-03 07:15 - ProtegePlugin/2015-01-29 08:13 - Screenshots/2015-01-29 08:18 - Apache/2.4.7 (Ubuntu) Server at dl-learner.org Port 80
The document discusses the idea of "blogic", which is logic on the web. It proposes that RDF could be improved by conceptualizing RDF graphs as being on "surfaces" rather than sets of triples. This would resolve issues with blank nodes and allow RDF to represent full first-order logic by allowing surfaces to be placed on other surfaces, like in conceptual graph notation. The document argues this w
書きかけ記事のリストが長くなるばっかり……（マズイ）。書きかけをローカルディスクに溜め込むよりは、日記エントリにメモを書いておいたほうがいいのかな？ で、ちょっと論理（logic）っぽい話をします。ほとんど小咄です。 「A ならば B」というときの「ならば」に対する定式化が、論理ではやたらにイッパイでてきます。列挙しましょう（これでも一部）： → ： 含意（implies） |- ： 証明可能（can prove, can derive） |= ： 充足（satisfies） ⇒ ： 伴意(entails) 記号はとりあえず互いに区別できればいい、というだけで、標準的な記法かどうかは気にしてません。 まず、命題論理（propositional logic）の段階で登場する含意＜がんい＞A→B。これがわからない。A→Bは ￢A∨B（not A or B）と同じだと教わるのですが、納得いかんで
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
