Direct2Dで描いてる処理丸ごと飛ばすとメモリ使用量増えていかないから、たぶんDirect2Dで描いてる部分でメモリリークしてるっぽさ＞＜；
これ、プロセスメモリの右肩上がり具合 かつ スナップショットの方増えてない という事は、アンマネージドな部分でメモリリークしてるって事なのかも？＞＜；
2000年以上にわたって科学者を悩ませた「レンズの収差問題」がついに解決される - GIGAZINE https://gigazine.net/news/20190708-aberration-problem-solved/
あってる＞＜
午前3時に公共交通のあり方について熱く語っても誰も読まない・・・＞＜
公共交通機関が利益を出さなければならない変な国だから成立しないんじゃないのかな？＞＜ って気もする＞＜
(海外でも公共交通機関は商売になってる場面も多くあるけど、一方で道路と同じような物と捉えてる地域も多い＞＜ そのもっとも極端な例はアメリカのオレゴン州ポートランドかも＞＜)
海外では都市内の実用的な水上バスが成り立ってる都市あちこちあるけど、日本では実用！って感じなのは一部の渡し船程度でほとんど観光用程度になっちゃってるのわりと謎＞＜(輸送量云々とかって海外でも同じじゃん？＞＜)
小さい頃、親と東京行くと結構高頻度に水上バスを実用的交通手段として使ってた＞＜
(浅草←→浜松町？でよく使ってたかも＞＜ 少なくとも10回以上乗った事あるかも＞＜)
東京都、通勤ラッシュ緩和に向け船による通勤の実証実験を実施へ | スラド https://srad.jp/story/19/07/08/1358222/
JR東海って結局東海道新幹線で殿様商売をする会社でしかない＞＜
オレンジ的には(リニア問題とは別に)JR東海が静岡空港駅作らなかったの、すごくアホだと思ってるし、交通をフィーダーまでちゃんと考慮できないJR東海らしい判断だと思う＞＜
静岡空港以外に東海道新幹線に直接客を呼べる空港ある？＞＜
orange
さんがブースト
リニアでJR東海と対立､静岡県の｢本当の狙い｣ 水資源問題で工事認めず､｢代償｣は空港駅？ | 新幹線 - 東洋経済オンライン https://toyokeizai.net/articles/-/290647 #東洋経済オンライン
もう、裁判でもすりゃいいと思うよ。静岡県以外の沿線自治体とJR東海とで一緒に静岡県に損害賠償請求でもすりゃいいんじゃないかな（適当
orange
さんがブースト
意味論、UXデザインにも応用できるかも？＞＜(既にされてるかも？＞＜)
orange
さんがブースト
とにかく、プログラミング言語におけるコードの動作や解釈を規定するのが意味論なわけですが、これが明確に示されていない言語は言ってみれば妄想みたいなものというか、「みんななんとなく常識的に解釈したり自然言語の文書を読んでわかった気になっているけど、数学的な証明とかに使えるような明確な定義が実は存在しない」という若干危うい状態なわけです。
あるいは「唯一の公式処理系である俺が意味論だ！！ (意味論だとは言ってない)」みたいな。
orange
さんがブースト
そこで活躍するのが意味論で、意味論というのはプログラミング言語のコードがどのように解釈されるか、あるいはどのようなアーキテクチャを持つ機械にどのように作用するかを形式的に規定します。
特にメジャーな方法としては、コードや部分式をなんとかして数学における式とか論理に帰着させる「表示的意味論」と、コードや部分式がどのように (仮想的な) 機械の状態を変更していくかを記述する「操作的意味論」があります
orange
さんがブースト
で、プログラミング言語がその状態だと困るわけですね。
たとえば「1+1」という式があったとして、これが32ビットで2の補数表現の整数の話で2になるかもしれないし、ブール代数における和で1かもしれないし、 XOR のつもりで0かもしれない。あるいは、文字列の1と文字列の1の結合で "11" かもしれないし、トークン 1 と + と 1 の結合で "1+1" かもしれない。
となると、プログラミング言語のコードの挙動や解釈を、何らかの形式的な (曖昧さのない形の) 方法で定めてやらないと、コードがどう動くかつまりプログラミング言語の仕様というのは共有が極めて難しいわけです。
orange
さんがブースト
たとえば自然言語でも実は単語や構文の正確な意味ってなんとなく共有されてるだけで、実際には別々の和者が明確な同じ定義を使ってはいないわけです。構文が完璧に曖昧さなく分解できてさえ、意味や文脈を一意に誤解なく共有することはほぼできないわけです
- ＠orange_in_space
2017年 4月に登録
