『ザ・マニアック！ ブレーキ博物館 ～曙ブレーキ編～』行田・羽生・加須(埼玉県)の旅行記・ブログ by そんごくうさん【フォートラベル】 https://4travel.jp/travelogue/11254415
『ザ・マニアック！ ブレーキ博物館 ～曙ブレーキ編～』行田・羽生・加須(埼玉県)の旅行記・ブログ by そんごくうさん【フォートラベル】 https://4travel.jp/travelogue/11254415
曙ブレーキ 国内工場の閉鎖や縮小を発表 | NHKニュース https://www3.nhk.or.jp/news/html/20190918/k10012087631000.html
【訂正＞＜；】
重工屋さんとか電器屋さんとかが、部品屋さんから買わず部品や半導体まで内製してたのは何年くらい前だろう・・・＞＜(遠い目)
的な・・・＞＜
重工屋さんとか電器屋さんとか、部品や半導体まで内製してたのは部品屋さんから買わず何年くらい前だろう・・・＞＜(遠い目)
的な・・・＞＜
それどっちかと言うとIT云々じゃなく日本の企業が弱くなって聞かれなくなった結果の事象っぽさが・・・＞＜；
このアカウントは、notestockで公開設定になっていません。
道路マニアの一部(？)にとって有名な人だ！＞＜
英雄たちの選択「不可能への挑戦～河井継之助の北越戦争～」 - NHK https://www4.nhk.or.jp/heroes/
スマホ画面から直接ポラロイド写真が焼けるハード | スラド モバイル https://mobile.srad.jp/story/19/09/17/0942228/
非常勤の大学で突然コマ数半減を告げられたものの組合に守られたという連ツイ。組合の大切さがよく分かるけど、いろいろとひどい話…。
https://twitter.com/gachaga66150604/status/1158741469450010630
このアカウントは、notestockで公開設定になっていません。
【ラグビーW杯】 応援歌、相撲、トイレ… 来日ファンが驚く8項目 - BBCニュース https://www.bbc.com/japanese/49737125
無果汁なのに果汁100％のリンゴジュースみたいな、なんか青っぽい皮の味？までする＞＜；
都市高速でバス立ち乗りなぜOK？ 福岡の日常に衝撃受ける人も 1日2720本、西鉄に聞いた｜【西日本新聞ニュース】 https://www.nishinippon.co.jp/item/n/542920/
環境対策にもなるし、お年寄りとか危険なドライバーを減らす事にも繋がる＞＜
公共交通機関無料政策の代表的な先進例として有名なのはアメリカオレゴン州ポートランドの路面電車だったんだけど、それは何年か前にやめちゃった＞＜；
フランスの小都市がバスの運賃を無料に。車の利用者が減少しCO2排出量が削減。バスの旅を楽しむ人が増加 : カラパイア http://karapaia.com/archives/52282542.html
タイトルだけでどうやるかわかったし、すごくコロンブスのたまご感＞＜；
なるほどそうきたか！歯ブラシを使って針に糸を通す方法【ライフハック】 : カラパイア http://karapaia.com/archives/52282573.html
U.S. wants to seize all money Edward Snowden makes from new book - Reuters https://www.reuters.com/article/us-usa-security-snowden-lawsuit-idUSKBN1W223Z
NSAの内部告発をしたスノーデン氏の著作を「秘密保持契約違反」と政府が主張し売上の差し押さえを要求 - GIGAZINE https://gigazine.net/news/20190918-us-lawsuit-ageinst-snowden/
未成年も同じ事するんだし、未成年キックで誕生日認証とかあれだよね＞＜；
セキュリティ的にあれなので、云十年前から実際の誕生日とは別の認証用誕生日を用意してあるけど、最初にそれ決める時にちゃんとその時点で未成年にならない年月日にした＞＜；
このアカウントは、notestockで公開設定になっていません。
掛け算出来るバナナ作りました！＞＜
C#で61行のコード書いたよ！ブラウザ上でプログラミング・実行できるよ！ コードは https://paiza.io/projects/WANamMow2GhfCtjdn6a9gw?locale=en-us #paizaIO
の投稿
prime@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
静的型が「サイズ上限のある整数」とか「整数と文字列を混同できない」程度の認識でやっているの、完全に「静的型付き言語は C しか知りません」と言っているようなものでしょ
で、そのtogetterでも巻き込まれてる（？）雪だるまの人のTaPL日本語版の書評が＞＜
書評「型システム入門」 - 純粋関数空間 http://tanakh.jp/posts/2013-05-08-tapl.html
そういう範囲ですらなく型とは何ぞやレベルの話だと思う＞＜；
TaPL日本語版が出る前はこういう議論わりと頻繫にあったのに、出たらぱったりなくなったのおもしろい＞＜
まだ最後までちゃんと読んでないけど、もしかしてここで動的型付き言語勢が言っている「静的型」って C 言語のプリミティブ型レベルの話しかしてなかったりする？
変数（と関数）、電卓渡して計算させるってやり方でも教えられそう？＞＜
人間関数みたいなお遊び＞＜
話広がってったけど、元々の「変数わからん」がどうわからんだったのかわからん＞＜
計算機科学の少なからぬ部分 (特にプログラミングそのもの) は自然科学ではなく人工科学なので、「ただあるものを観察し理解する」姿勢だけではなく「そのように定義された理由や都合を推察し理解する」というフェーズは結構大事だと思う (知らんけど)
だから「○○なコードは『意味がないから』禁止されている」というのはナンセンスというか因果が逆で、「特定のプログラミング言語において○○なコードは『意味が割り当てられなかった』」という説明になるべきなのよね、本来は。
人間が言語を設計するときに「意味を割り当てなかった」理由として、不自然だからとかややこしいからとか、そういう人間サイドの思惑がある。
たとえば 0 + "12" が 12 になろうが "012" になろうが "12" になろうが "0" になろうが 1 になろうが、そこに一貫した理屈を与えることはできる。
問題の本質は「人々が直感で想像する結果が共通であるか」ではなく、「特定のコードについて特定の挙動が自動的に導けるか」であって、それこそがプログラミング言語がセマンティクスを必要とする理由なので
初学者に教えるかはさておき、「セマンティクス」という概念がもっと明示的であるべきだとは常々思っています
ていうか、オレンジ方式だと「型推論はゴミ！＞＜」という持論の押し付けも出来る＞＜；
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
ていうか、段ボール箱で変数説明して型システムがなんであるかの説明もするのも問い詰め方式だね＞＜；
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
あと、動的型付け環境のみで育っちゃった人って
https://mstdn.nere9.help/@orange_in_space/102812065502482968
これ理解してない人わりと多そう＞＜
こういうのも一対一で教えるのであれば問い詰められるから楽だけど、一対多は大変そう＞＜；
このアカウントは、notestockで公開設定になっていません。
じゃあ、この[段ボール箱a]に、ペットボトル入りコーラを入れてみよう＞＜
今度は[段ボール箱そのb]はどうなる？＞＜
～ここで答えがバラバラになる～
「バラバラになっちゃったね！＞＜； 答えがないね！＞＜ だから入れていいものと入れちゃいけないものがあるんだよ＞＜」
みたいに型システムの説明の取っ掛かりに＞＜
[段ボール箱a]に5を入れるとどうなる？＞＜ 5+5じゃん？＞＜ つまり10じゃん！＞＜
みたいな＞＜
[段ボール箱a]＋5＝[段ボール箱そのb]
みたいにして
[段ボール箱そのb]＝[段ボール箱a]＋5
にして
みたいな＞＜
物理的段ボール箱で説明、型がなぜあるのか？の説明にもつながるように説明できそう＞＜
物理的に、段ボール箱かなんか用意して説明したらわかりやすい・・・？＞＜
このアカウントは、notestockで公開設定になっていません。
変数がわからんは何がわからないのかわからない・・・＞＜（全然躓かなかった＞＜）
このアカウントは、notestockで公開設定になっていません。
まわりにプログラミングできる人も参考書もPCの実機すらない中、独学でのプログラミングで最初の関門が変数だった。算数しか知らない頭で変数を理解するのに何週間もかかった。
このアカウントは、notestockで公開設定になっていません。
うまく言えないけどプログラマの人とか情報系界隈の人ならだいじょうぶみたいななんか安心感あるじゃん？＞＜（？＞＜；）
ある程度論理的な話が出来るみたいな安心感＞＜
その安心感の範囲の人が理系なのかなって思ってた＞＜（思ってただけ）
論理的・抽象的思考ができる事を理系って言うのかもって思ってた＞＜（思ってただけ＞＜；）
少なくともプログラミングそのものは理系文系まったく関係ないと思ってる。論理的・抽象的思考ができるかどうかは関係ありそう。
「なんで日本語じゃないの？」とかもよくあるあれだけど、それもちゃんと説明してあげる自信ある＞＜
オレンジにはオレンジの発想に寄り添って数式をわかりやすく説明してくれる人は居ないけど、
逆の立場として「プログラミングできない・・・」って人には無限に説明してあげる用意がある＞＜（単に教えたがりとも言う＞＜；）
この部分読んでてちょっと優越感すらわいたけど、オレンジが数式見たときの反応ほぼそのまんまじゃんって＞＜；
"もうこんな感じの謎のアルファベットの羅列である。一体ここのどこに犬がいるのか。ワンと鳴くとは何だったのか。分かりやすく書こうとしてかえって分かりにくくしている。なんかケムに巻かれているというか、馬鹿にされている気持ちにすらなる。"
https://el.jibun.atmarkit.co.jp/bunkeidameo/2015/12/post-7b8b.html
https://el.jibun.atmarkit.co.jp/bunkeidameo/2015/12/post-7b8b.html
"....った。なるほど確かに犬はワンと鳴くな。このようにオブジェクトが分かれてるんだな。よしと思い参考書の次のページをめくると"
[ソースコード]
に対して、「たとえ話ってそうでしょ？＞＜； 単に説明不足じゃないの？＞＜」とか色々ツッコみたかったけど、よく考えると[ソースコード]を数式に置き換えたらブーメランでした・・・＞＜；
このアカウントは、notestockで公開設定になっていません。
メーカーの特徴を小さいのでやるの想像するの楽しすぎるし、VTECカブとか誰かすごい人作って欲しい＞＜；
楕円ピストン、バルブ増やせるのがメリット＞＜(50ccでバルブ増えてメリットになるのかは知らない＞＜；)
大きいバイクのジャンクの駆動系全部外してジャイロの駆動系くっつけるとかどうだろう？＞＜
ていうか50ccならミニカーなんだから、片方をエンジン外してどうにか軸引っ張ってきて4WD化すれば50cc5輪なミニカー？＞＜
あ！＞＜； タイヤ4個だとミニカーになっちゃうけどミニカーは50ccなので、足して100cc！＞＜；って強引な解釈できても原付じゃなくなっちゃう＞＜；
AWDじゃなく後ろにもう一個くっつければいいかもって思ってた＞＜；（プラモデル並みの発想）
ジャイロの駆動ユニットを2連にして4WDで100cc相当？＞＜；にする＞＜ 原付二種になる？＞＜；
あともうひとつ絶対誰もやってないであろうアホなもの思いついた！＞＜
ツインエンジン4WDジャイロってどうにか公道走行可能で出来ないかな？＞＜；
カブをNAVi5っぽいAT化してる人居ないかな？＞＜；って探したけどそれはさすがに居なかった・・・＞＜
屋根無しのスクーターっぽい4輪のミニカーって楽しい実用的な乗り物としてありっぽさ＞＜
あとなんか、12月のアップデートでついに空母買えるようになるらしい＞＜
Elite:Dangerous、今日アップデートメンテだからセールになってるっぽい？＞＜；
これがある星系の情報＞＜
Dryio Flyuae LW-S c5-9 / EDSM - Elite Dangerous Star Map https://www.edsm.net/ja/system/id/16849472/name/Dryio+Flyuae+LW-S+c5-9
星＞＜
https://eddb.io/body/9957708
20,094.05lyってつまり太陽系から約2万光年らしい・・・＞＜；
Elite:Dangerous、あと、星の発見者が表示されるので発見すると名前残るよ＞＜
オレンジが見つけた地球型惑星のスクリーンショット＞＜
はるか彼方に行った時に偶然見つけたので地球からこの星まで飛んで行くのに実プレイ時間で十数時間？＞＜；かかるかも＞＜；
Elite:Dangerous、とても人を選ぶゲームで、人によっては開始早々手動着陸でめげて辞めたりもする（すぐに自動ドッキング装置買えるのに＞＜；）ほどだけど、でもいろいろ出来ておもしろいよ＞＜
ワールドは銀河系全体で、星は星の数ほどあるのにちゃんと星のサイズなので馬鹿みたいに広いというか前人未踏なエリアがたぶん99.9999％とかってレベルのとんでもないオープンワールドなゲームだよ＞＜
惑星のリングに行って超高級な鉱物が含まれてる小惑星（？）探し当てて爆破して採掘とかも出来るよ＞＜
（この画像のは安い船が変えちゃうぐらいとんでもなく高級なのを数十分かけて探してやっと見つけて採掘してる所）
Horizons Season Passはシーズンパスって名前だけど、バージョン2.0以降の機能を利用出来るアンロックDLC？で、セットで買わないと出来ない事多すぎて実質体験板なので必須って方式の売られ方なゲームなのです＞＜
なんかElite:Dangerousがセールで70％オフで1056円＋実質必須DLC(Horizons Season Pass)1056円
＝実質2112円になってる！＞＜
https://store.steampowered.com/sale/frontier/?snr=1_4_4__118&snr=1_4_4__118
これで画面側Winタブにしてリモートデスクトップ接続にしたら・・・・バッテリーが早く減るだけだね＞＜；
ていうか、液晶割れジャンクthinkpadだいたいこれ出来るってことかも？＞＜
後ろへ向かって前進 Act.2: 流行りみたいなので、2-in-1 もどきのノートPCを作ってみた(ThinkPad X230組み立て編) https://www.ragemax.com/2014/07/Get-ThinkPad-X230-2-in-1.html
たぶんこれでできるのでみんなもやってみよう！
このアカウントは、notestockで公開設定になっていません。
スマホに音響カプラ繋いで、公衆電話からFAX送受信できたら災害時に便利？＞＜(それほどの災害なら公衆電話に繋がってる電話線も死んでそう？＞＜；)
このアカウントは、notestockで公開設定になっていません。
ていうか、スマホの(アプリ実行側の)処理能力でソフトウェアモデムって出来ないのかな？＞＜
つまり、完全ソフトウェアG3FAXって無理なのかな？＞＜；
僻地環境(北極圏とか)でも音声通信よりもデータ通信の方が気軽な21世紀・・・・＞＜(諸行無常)
物理的ポータブルファックスってもう売ってないっぽい？＞＜
昔、衛星携帯電話用とかで売ってた記憶＞＜
G3 FAX（Group 3 Facsimile）とは - IT用語辞典 e-Words http://e-words.jp/w/G3_FAX.html
なるほどそういうことか
ファックスって要は普通の音声回線のモデムの一種だし、イヤホンマイク端子接続のとかも昔あったかも？＞＜
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
そういえば、FAX機能内蔵スマホって無いのかな？＞＜
(オンラインファックスサービスじゃなく、僻地とかで音声回線経由でファックス送受信できるやつ)
premini的小さい電話機いいなって思うけど通話する相手居ないし電話嫌いなのでよく考えたら使い道無かった＞＜
普通に商品化されてた・・・＞＜
ブラックタピオカ？実はこんにゃく 三つの利点で大人気：朝日新聞デジタル https://www.asahi.com/articles/ASM8Z4666M8ZUHNB005.html
糸こんにゃくを刻んでミルクティに入れれば…ヘルシーなタピオカ風ミルクティの完成？！ https://www.tbsradio.jp/374699
普通にあるものらしい・・・・＞＜
蒟蒻で！タピオカミルクティー風 by ピーマン＊ 【クックパッド】 簡単おいしいみんなのレシピが316万品 https://cookpad.com/recipe/3713983
芋煮会用の玉こんにゃくをタピオカサイズに小型化したやつとか、ミルクティーにあわなくもなさそう？＞＜
逆転の発想で、群馬とか山形とかの街起こし商品で、こんにゃくミルクティーって出来ないのかな？＞＜
こんにゃくゼリーとかじゃなくタピオカサイズのこんにゃくが入ってるミルクティー＞＜
このアカウントは、notestockで公開設定になっていません。
ESP32なbluetoothマイコンボードなら、それ自体が技適つきなので、ガラケーの中身入れ換え改造に使っても普通に合法なので堂々と出来るし＞＜
超小型じゃなくてもガラケーbluetoothヘッドセット化電子工作キットってあったらウケそうだと思うんだけど＞＜
脱線で突然思い付いたけど、preminiとかもう使えない超小型電話機の外装使って中身ESP -WROOM-32とかのbluetoothマイコン基板にして、画面つきbluetoothヘッドセット化って出来ないかな？＞＜
このアカウントは、notestockで公開設定になっていません。
auのガラケーといえば、これってもう使えないのかも？＞＜
写真で解説する「Walkman Phone, Xmini」 (1/3) - ITmedia Mobile https://www.itmedia.co.jp/mobile/articles/0812/08/news103.html
async/await、スレッド数を制限するのが微妙になりそうな点(全コア使うのいや)も嫌ってたけど、それはよく考えたら自プロセスのコア割り当てでどうにかすべき話だった＞＜；
「なんでスレッドプール自分で作るんじゃダメなの？＞＜；」って思ってたけど、そういう場面じゃなくもっと「ちょっとでも並列化出来る隙があるなら並列実行させようぜ！ ほらここも並列できちゃうかも！？」みたいなノリがasync/awaitの出番なのか＞＜
ということは昔ながらのマルチスレッドで書く場面と全然違うし、どっちだけ使うんじゃなく目的がかなり違うから両方使えないと駄目なんだね＞＜；
寝てる間に盛り上がってたasync/awaitの話題、なるほどなになった＞＜；(ダメじゃん＞＜；)
機能としてわかるのと使いどころがわかるは全然違うし使いどころをオレンジは理解してなかった＞＜；
orangeの育て方説明書
①良い土をかける
②天日干しする
③肥やす
最後に、【聖水】を3週間に4回与えることが重要です！
※やってはいけない事・与えてはいけない物
⚠お尻を切る
⚠アルコール類
#貴方の育て方説明書
https://shindanmaker.com/928158
人形趣味に目覚めそう(?)
hadsnの育て方説明書
①性的に興奮させる
②水攻めをする
③優しい言葉をかける
最後に、【呪いの人形】を2週間に4回与えることが重要です！
※やってはいけない事・与えてはいけない物
⚠森林浴させる
⚠雑草
#貴方の育て方説明書
https://shindanmaker.com/928158
