なぜ僕は操作的意味論に傾いたか - 檜山正幸のキマイラ飼育記 (はてなBlog)
今日の昼前に投稿した記事「評価シーケントの論理計算と操作的意味論」において、操作的意味論に基づいた意味記述方式を提案してます。これは、CatyScript2.0を記述する目的で考えたのですが、なぜ操作的意味論を採用したかを書いておきます。 CatyScriptの意味を表示的（denotational）に記述することも出来なくはないでしょう。しかし、簡単な仮想機械を想定して操作的（operational）に書くほうが次の点で有利なように感じました。 処理系実装の方針を立てやすい。 コンパイル方式のヒントになる。 スコープ／可視性の定義が容易。 細かい振る舞いまで記述できる。 細かい振る舞いが書けるということは、煩雑で抽象度が低いという欠点でもあります。しかし、表示的には書きにくいことがあるとき、自然言語で注記するくらいなら操作的に書いたほうがマシだと思います。 操作的な記述をシーケント計算と
天体マニアな彼にスイングバイしたい『惑星チョコレート』バレンタインに最適 | 秒刊SUNDAY
『水金地火木土天冥海』我々はその『地』に住んでいることをあまり意識せずに生活しているのが実に不思議だ。それでも太陽系は今もなお太陽の周りを公転しており、地面は決して静止しているわけではない。不思議でもありロマンでもある。来る2月14日はそんな天体マニアな彼にこれをプレゼントしみてはいかがだろうか。天体でできたチョコレートだ。 ショコラブティック レクラ｜チョコレート｜惑星ショコラ でも宇宙のロマンは果てしない。この宇宙のどこかに同じような環境があって、人間のような知的生命が住んでいるのではないか、もしくは、この宇宙そのものが何かの生命体の一部ではないのか？宇宙とは細胞の一部では？と思うと夜も眠れない。 はやぶさ？ただ宇宙のチリもってきただけじゃん。あかつき？途中で迷子になっちゃったじゃん。女性に天文学の素晴らしさを教えるのはなかなか難しいものだ。 そんな女性も好きな男性が『天体マニア』だと
セルフネグレクトを生み出す社会的要因について。 - 命のこだま
虐待問題の中でも、一番厄介な問題は自己自身が加害者として登場するケースです。 自分自身が被害者であり、同時に加害者として存在するのは、言葉の上では簡単につながる言葉ですが、実際問題として出現する場合は当事者が訴えない限りなかなか支援の手が介入出来ないものです。支援を目指す者が接近してもなかなか受け入れてくれないことと、当事者が支援を拒否するからです。 セルフネグレクトという言葉は、最近新聞紙上でもよく書かれており、支援を専門とする人達の中でも解決すべき現実の課題としてしばしば研修テーマとなります。 増え続ける高齢者の中でもこのセルフネグレクトと思われる症状を持っている方がしばしば散見され、どうしたら彼らの閉じてしまった心を開くことが出来るのか？大きな問題となっています。いくら本人の為とあれこれ助言し、介護サービスなどの支援を受けるように勧めても、殆どの彼らは「もう、私のことはうっちゃって欲
こどもが心を開く親の話し方
最近、夫に強く薦められて読んだ本の紹介です。夫も友達から薦められ、この夏２回も繰り返し読んだそうです。本の名前は“How to talk so kids will listen & listen so kids will talk”(Avon Parenting出版 Adele Faber and Elaine Mazlish著で、初版以来、２０刷を重ね、最近再編集されて再び人気を呼んでいるそうです）。 本は、いわゆる「子育てハウツーもの」ですが、読み進みながら、自分の子どもの頃の親子関係を振り返って考えさせられ、子どもの気持ちに戻って、親になることを学べる本です。 詳細については、実際に是非読んでいただきたいのですが、ここでは、少しずつ、私も本の復習をしつつ紹介させていただきたいと思います。（本は、これから親になる方、１歳の幼児～ティーンのお子さんがいる方、また夫婦関係の向上にも役に立つ
tenya.info
FC2ブログからMT5.2.7に引っ越す このブログも開発継続する気ないので引っ越… 開拓日誌ブログ上 me | コメント(0) Vyatta 6.6R1でやったーぶいっｖ もうルータ買わない！… 開拓日誌ブログ上 me | コメント(0) PHP 5.5の新機能 最近ぜんぜん注視してなかったけど、センス… 開拓日誌ブログ上 me | コメント(0)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
