- masterq_mogumog
- 3066
- 2
- 1
- 31
I moved to Mastodon.
@masterq_mogumog
OCamlとHaskellを比較するとなぜ後者の方が行数短くなるのか、という話題にもなった
2017-01-06 23:51:17
I moved to Mastodon.
@masterq_mogumog
たとえ小さなCANに繋がるデバイスであったとしても、その上で固有のアプリケーションを動かしたいという要求があること
2017-01-07 00:00:07
I moved to Mastodon.
@masterq_mogumog
RSAが輸出入できて楕円曲線暗号ができない理由はおそらくRSA社のロビー活動の成果だろうという話
2017-01-07 00:02:57
I moved to Mastodon.
@masterq_mogumog
そうだ、、、名古屋方面にも遊びに行けばもっと効率的に情報が集まるのではないだろうか、、、
2017-01-07 00:04:54
I moved to Mastodon.
@masterq_mogumog
ハードソフト協調設計においては何が正しい範囲かは主張しにくく、何が悪い結果なのかは主張しやすい。結果テストケースでしか検証できなくなるという話
2017-01-07 00:07:15
I moved to Mastodon.
@masterq_mogumog
結線が短絡してしまうようなハードの不具合も防止したいニーズがあり、結果チェックリスト運用にならざるを得ない。それでも小規模なハードソフトなら何とかなるという話
2017-01-07 00:09:52
I moved to Mastodon.
@masterq_mogumog
おそらくでっかい系をシミュレーションなりで検証した者はいないだろうし、そのようなリアルタイム検証は簡単に爆発するだろうという話
2017-01-07 00:11:15
I moved to Mastodon.
@masterq_mogumog
本質的に全体を依存型で強く型付けされたアプリケーションというのは構築できないのではないか?という話をした
2017-01-07 15:47:42