プログラム意味論の分かりやすい紹介 - Ryusei’s Notes (a.k.a. M59のブログ)
巷に膾炙しているプログラム意味論の説明は、正直言って何を言っているのか、部外者にはよく分からないように感じられる。プログラムの意味を論じる「プログラム意味論」の意味がよくわからないというのは本末転倒だろう。ここでは、プログラム意味論を分かりやすく紹介したい。 プログラムの意味 プログラム意味論とは、プログラムの意味に関する理論だ。 そもそも「意味」とはなんだろうか。「意味」の意味を知るために、デジタル大辞泉で調べてみよう。 １ 言葉が示す内容。また、言葉がある物事を示すこと。「単語の―を調べる」「愛を―するギリシャ語」 ２ ある表現・行為によって示され、あるいはそこに含み隠されている内容。また、表現・行為がある内容を示すこと。「慰労の―で一席設ける」「―ありげな行動」「沈黙は賛成を―する」 ３ 価値。重要性。「―のある集会」「全員が参加しなければ―がない」 いみ【意味】の意味 - goo国
WorkFlowy&HandyFlowyに文字置換機能を追加する「ReplaceFlowy」
マロ。さんが、また偉大な仕事を達成しました。 WorkFlowyに、文字置換機能を追加するブックマークレット「ReplaceFlowy」の開発に成功し、公開したのです（しかも無料公開）。 WorkFlowyで文字列置換を行うブックマークレット ReplaceFlowy｜マロ。｜note WorkFlowyは、文章作成ツールとしても、独自の役割を果たします。しかし、文章作成ツールとして使うには機能が不足している、という意見も少なくありませんでした。そんな不足機能の筆頭が、文字置換機能です。 このたび、マロ。さんが開発・公開した「ReplaceFlowy」は、WorkFlowyに文字置換機能を追加する、大きな一歩です。 1．パソコンのWorkFlowyで、「ReplaceFlowy」を使う (1) 準備 「ReplaceFlowy」は、ブックマークレットです。 配布ページでコードをコピーして、
Yabuki Taro’s Home Page
なぜ Lisp なのか Quote...Unquote ダグラス・R. ホフスタッター著, 竹内郁雄ほか訳『メタマジック・ゲーム』 ミンスキー「ゲーデルは Lisp を思いついておくべきだった。もし彼が Lisp を思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lisp は、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる。 ゲーデルは Lisp を発明した！ ダイクストラ「謙虚なるプログラマ」 LISPは冗談まじりに「コンピュータを誤用するための、もっとも知的な方法」と言われることがありますが、私はこれはすばらしい褒め言葉だと思います。なぜならこれはあらゆる種類の自由を可能にしているからです。LISP
SRFI 49: Indentation-sensitive syntax
Author Egil Möller http://redhog.org/ / redhog@redhog.org Status This SRFI is currently in final status. Here is an explanation of each status that a SRFI can hold. To provide input on this SRFI, please send email to srfi-49@nospamsrfi.schemers.org. To subscribe to the list, follow these instructions. You can access previous messages via the mailing list archive. Received: 2003-11-23 Draft: 2003-1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
『ルビィのぼうけん』特設サイトであそぼう