新しいものを表示

意味論、UXデザインにも応用できるかも?><(既にされてるかも?><)

orange さんがブースト

とにかく、プログラミング言語におけるコードの動作や解釈を規定するのが意味論なわけですが、これが明確に示されていない言語は言ってみれば妄想みたいなものというか、「みんななんとなく常識的に解釈したり自然言語の文書を読んでわかった気になっているけど、数学的な証明とかに使えるような明確な定義が実は存在しない」という若干危うい状態なわけです。
あるいは「唯一の公式処理系である俺が意味論だ!! (意味論だとは言ってない)」みたいな。

スレッドを表示
orange さんがブースト

そこで活躍するのが意味論で、意味論というのはプログラミング言語のコードがどのように解釈されるか、あるいはどのようなアーキテクチャを持つ機械にどのように作用するかを形式的に規定します。
特にメジャーな方法としては、コードや部分式をなんとかして数学における式とか論理に帰着させる「表示的意味論」と、コードや部分式がどのように (仮想的な) 機械の状態を変更していくかを記述する「操作的意味論」があります

スレッドを表示
orange さんがブースト

で、プログラミング言語がその状態だと困るわけですね。
たとえば「1+1」という式があったとして、これが32ビットで2の補数表現の整数の話で2になるかもしれないし、ブール代数における和で1かもしれないし、 XOR のつもりで0かもしれない。あるいは、文字列の1と文字列の1の結合で "11" かもしれないし、トークン 1 と + と 1 の結合で "1+1" かもしれない。

となると、プログラミング言語のコードの挙動や解釈を、何らかの形式的な (曖昧さのない形の) 方法で定めてやらないと、コードがどう動くかつまりプログラミング言語の仕様というのは共有が極めて難しいわけです。

スレッドを表示
orange さんがブースト

たとえば自然言語でも実は単語や構文の正確な意味ってなんとなく共有されてるだけで、実際には別々の和者が明確な同じ定義を使ってはいないわけです。構文が完璧に曖昧さなく分解できてさえ、意味や文脈を一意に誤解なく共有することはほぼできないわけです

家族の人がコンビニ行く時に「なんかついでに買ってきて欲しいものある?」「変な物><」「変な物ってそうそう売ってないんだよ・・・」ってわりと頻繁なやり取り><

そういえば、マツキヨのエナジードリンクのキャフーン、大好物になって週1缶は飲んでるんだけど、あんな奇妙なもの(><;)それほど需要あると思えないし、すぐなくなりそうだし代わりになる飲み物なんて無いだろうからつらい・・・><

こういう不評聞くとすごく食べたり飲んだりしてみたくなる><;
オレンジの異文化許容能力を超えるものなのか!?><って興味で、だいたい一口目は「!?><;」ってなるけど3口目くらいには「これはこれで美味しい><」になって、飲み終わり食べ終わりの頃には虜になって、入手困難であることを嘆いたりする・・・><

orange さんがブースト

静岡のお茶コーラもやめておこうな。

orange さんがブースト
ちなみにうなぎコーラはだめだぞ。
orange さんがブースト

浜松来たらうなぎパイ買いなさい。間違いない。

あ!><; あと、ちりめんじゃこ入りの梅ふりかけ(名前忘れた)もある!><;

似たようなものでいっぱいあるの、オレンジは梅味好きすぎて、梅ごま塩と、カツオ梅ふりかけと、男梅ふりかけと、カリカリ梅赤しそ(しっとりしてて要冷蔵なふりかけ)と、ゆかり で全部だっけ?><; いっぱいある><;

それに対して本当になんでも「美味しい」なら別にいいかも><
そうじゃなく「こんな変な味のものの飲めないよ」 となった時、それって文化の軽視と否定では?><

スレッドを表示

全部同じ味に感じるのは別にあれだと思うけど、その上で異文化の味、例えば沖縄県民以外の大部分の日本人にとってルートビアって異文化の味だよね?><
「なんだこのサロンパス!?」ってなるよね?><
さすがに「コーラと同じ味だ」っていう人は比喩じゃなく味覚に医学的問題があるよねたぶん?><;
で、その異文化の「飲むサロンパス」にであってしまった時、どういう反応する?><

食べ物の味を楽しんだり知ったり比較したりするのは、背景の文化の一部を知るのと同じで、読書のようなものだよ><
「ああ、長崎人はこんな酸っぱいソースを皿うどんにかけていたのか>< だから他所の地方では堅焼きそば系のものに酢をつけるようになったのか><」とか><

コーラだってペプシとコカコーラなら、両方飲んで同じ味だっていう人かなり少ないと思うんだけど><

本場の長崎県民の人ならわかると思うけど、金蝶ソースと他所のソースって、ソースと名はついていてもかなりの別物で、すごく酸っぱい><

同ブランドでもウスターソースと中濃ソースは全然違う><

オレンジの家、例えばソース>< 今は減ったけど一時期5種類以上用意して使い分けてた><
例えばブルドッグ中濃の代用にカゴメ中濃程度なら差は少ないけど、金蝶とかオタフクとかはそれぞれユニークで別物でしょ?><

古いものを表示
:realtek:

思考の /dev/null