Keᷟiͣzᷤoͭuͦ@6ͩ4ͦ0ᷠ0 @keizou@mstdn.guru

:スマホゲーム初！！ラクガキシステムを搭載した育成RPGが登場！自分の描いたラクガキがキャラクターになる！描いたラクガキを育成して、ラクガキ世界の秘密を解き明かせ！
https://rakugaki-kingdom.com/

なぁ、これ、頑張ればヒーロー着っぽい自キャラ作って遊べるのでは？？？？？スマヒョで基本無料でこんな事まで出来るようになっちゃうのすごいな？？？？

@keizou@prismo.fedibird.com こういうことが起きるからこその分散化。

Facebookは皮肉にもTwitterで告知するに至ったが、分散SNSならば自社の分散SNSサーバがネットワーク障害に見舞われたとき、他の分散SNSサーバから告知しても恥ではない。なぜなら分散SNSはそういう用途が思想的前提にあるからだ。

ネットワーク設計は冗長性を担保しておくのが基本のキ。

北が韓国の旧保守政権にも矛先　日本の輸出規制強化で（産経新聞） - Yahoo!ニュース
勢いしかなくて笑う https://headlines.yahoo.co.jp/hl?a=20190708-00000542-san-kr

2000年以上にわたって科学者を悩ませた「レンズの収差問題」がついに解決される - GIGAZINE https://gigazine.net/news/20190708-aberration-problem-solved/

I'm extremely pleased to launch Run Your Own Social: How to run a small social network site for you friends.

This is a guide book to running a small, tight-knit federated social network server. It comes from my year of experience running Friend Camp. It's focused largely on SOCIAL solutions, though it does touch on the technical.

I've tried to keep it technology-neutral, and it should be a pretty easy read for anyone who's been on the fediverse for a while.

https://runyourown.social/

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

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

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

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