プログラミング言語Frege(フレーゲ)を紹介します - uehaj's blog

2013/12/20 104 users Haskell風 uehaj's blog 言語 遅延評価

2013-12-21 プログラミング言語Frege(フレーゲ)を紹介します haskell JVM Frege これはマイナー言語 Advent Calendar 2013の21日目の記事です。 Frege(フレーゲ)を紹介します。 Fregeは、Java VM上で動作するHaskell風の言語です。以下のような特徴を持っています。 純関数型言語 非正格評価(いわゆる遅延評価) Hindley-M... 続きを読む

「哲学は役に立たない」とかいうバカに限って、「フレーゲ」「ラッセル」も読めない、読んでから言え:哲学ニュースnwk

2013/05/06 18 users 文理 dion軍 西洋 欧米 考察

1：名無しさん＠涙目です。(dion軍)：2011/12/10(土) 19:10:22.48 ID:u2VLjjQv0 スマートフォンと哲学が出会うとき●ソーシャルメディア時代の基礎情報学（1）―― 今なぜ「基礎情報学」なのか 文理にまたがる情報哲学 実は、情報やコミュニケーションをめぐる根本的な考察は、 欧米ではすでに始まっているのである。 この原因として、西洋では知の流れがそれほど断絶していな... 続きを読む

『言語哲学重要論文集』 - logical cypher scape

2013/04/23 77 users logical cypher scape 宵の明星 真理

八木沢敬『意味・真理・存在　分析哲学入門中級編』 - logical cypher scapeを読んだ勢いで読んだ八木沢本を先に読んでてよかった。 第一部　言語哲学の誕生フレーゲ「意義と意味について」（野本和幸訳）言わずとしれた超有名論文。１８９２年。改めて、フレーゲは色々なこといってて面白い、というかすごいなーと思った。（「明けの明星」と「宵の明星」など） ラッセル「表示について」（松坂陽一訳）... 続きを読む