これあったら、コーヒーフレッシュでミルクティーとか悲しい事をしないですむ!><;
「おなかに優しい牛乳」発売 北海道 中標津町 | NHKニュース https://www3.nhk.or.jp/news/html/20190107/k10011769871000.html
「おなかに優しい末代」発売 北海道 網走市 | NHKニュース
北海道網走市の農協が「おなかに優しい末代」として、消化されにくいとされる成分を含まない牛乳の販売を始めました。
この末代は、網走市農協が「あばしり末代premiamu」として先月発売しました。
https://www3.nhk.or.jp/news/html/20190107/k10011769871000.html
型システムがなぜあるのか理解して無さそう><(暴言)
https://github.com/takehiko?tab=repositories
型システムにあんまりたよらなそうな分野・・・?><
http://www.wakayama-u.ac.jp/~takehiko/profile.html
"得意分野
・データベース設計,データモデリング
・Linux をはじめとするオープンソースソフトウェアの活用
・Apache HTTP Server, Apache Tomcat, Docker などを組み合わせたWebアプリケーション開発・運用
・C, Ruby, Java, JavaScript (Ajax) を用いたプログラミング
・TeX によるタイプセッティング
・SVG, PNG, JPEG などの2次元画像処理(以下略)"
純粋数学大好き界隈の人が型システムを否定するならわかるんだけど、なぜ大学でプログラミングも教えてる准教授の人がそんな発想なんだろう?><;
http://www.wakayama-u.ac.jp/~takehiko/research/programming.html
掛け算順序問題でオレンジは「小学校の算数に型システムをちゃんと導入すればいいじゃん!><」って言ってるんだけど、それと全く逆の考え?かつ、掛け算順序に部分的賛成(?)である謎の情報系大学教員を見つけた・・・><
式に単位を書かせるべきか(1) - わさっき http://d.hatena.ne.jp/takehikom/20110105/1294174727
単位なしの立式はミスのもと? - かけ算の順序の昔話 http://takexikom.hatenadiary.jp/entry/2018/02/27/062210
この人っぽい><
村川猛彦 / 村川研究室 http://www.wakayama-u.ac.jp/~takehiko/
Pilot in command><(「機長として操縦」の方の意味の機長><(つまり資格じゃない方><))
https://en.wikipedia.org/wiki/Pilot_in_command
https://mstdn.nere9.help/@orange_in_space/101373833470580965
https://mstdn.nere9.help/@orange_in_space/101373839930359874
それ非決定性が超アレなので、よほど言語側でうまく対応しない限りは「非同期変数に対応するアトミックなフラグをビジーループや条件変数で監視する」とか「並列キューでメッセージ到達をポーリングで監視」みたいな運用になるし、たぶん RTOS 上のインターフェースもそんな感じでは
並列プログラミング、かつ、任意のタイミングでも処理を開始できて、待つ事も出来て、待つのをあきらめる事もできて、かつ(普通の環境だと無理があるけど)、結果の状態に(処理後の状態)書き換わる処理は明示的にのみ行われ十分にとても短い時間で出来て、書き換える前は書き換わる前の値を返す事もできる
みたいなのをVerilog HDLのノンブロッキング代入文を見ててなんかこう・・・><
https://mstdn.nere9.help/@orange_in_space/101372465027238430