Futuraうらやましい・・・＞＜

x舞いロット oパイロット＞＜；

一応空域は立体的なので、その立体的であるその空域があいてるのなら一応飛べる＞＜ でも勝手に飛ぶって事は勝手に飛ぶわけで、勝手に飛ぶ飛行機と他の飛行機が衝突しない事も舞いロットが面倒を見なきゃいけなくなるけど、IFRってそのお仕事の大部分を管制官がする＞＜
だからこそ、とんでもない速度で飛ぶでっかい飛行機がとんでもない数飛び交っててもなんとかなってるわけで＞＜

IFRなフライト（旅客機の大部分ののフライト）、最初から最後まで許可を受けた上で、最初から最後まで引き継いでいくからこその安全みたいな面があるし、飛ばしたとしてその後どうすんだになる＞＜（もちろん、例えば突然遭難機の面倒を見なきゃいけなくなるとかそういう非常事態な事はあるけど＞＜）

飛行機、A320らしいしなおさらかも＞＜；（ターボプロップ機ならいいのかというとそうでもないけどそうでもなくもない気がしなくもない＞＜（？））

Air traffic controller hailed as a hero - CNN https://edition.cnn.com/2018/09/30/asia/indonesia-earthquake-controller-intl/index.html

空に逃げるという意味では、IFRで飛ぶはずの飛行機にとりあえずVFRで飛べって言う事になるし、それって多くの場合かなり危険かも＞＜

状況完全にはわからないけどかなり難しい＞＜
離陸許可って地上だけの問題じゃなく空があいているか？の方が重要＞＜

Adaの、例えば型を書くのめんどくさがって型推論に頼るような人が発狂しそうな型システム（？）、失敗すると人が死ぬ分野で失敗しないようにプログラミングするという方面で実績があるし「でもAdaってもう古いよね・・・。人材足りないし、予算的に有利なC++でお茶を濁そう」ってした結果、わけがわからない制限つきC++規約みたいな事になってアレになった（？）って考えると、やっぱAdaすばらしい・・・＞＜

参考＞＜
整数で学ぶAdaの型 http://panathenaia.halfmoon.jp/alang/ada/integer-types.html

This account is not set to public on notestock.

なのでTaPL日本語版、前はすごく読みたかったけど、Adaのような発想が好きな人向けには書かれてないんじゃないのかな？＞＜；って思って、本の予算上の優先度が微妙に下がった＞＜；

ていうかそっち方面の数学好きな人が好む言語の型って、計算機的な意味に限定された型であって（正確な意味での（？））型安全であって、Adaとかが目指す、データ全部型で管理して型作りまくって全部明示的に型でどうにかするんだって発想じゃないっぽいのがアレかも・・・＞＜（なので「全然型ありきじゃないじゃん・・・＞＜」って感じる＞＜）

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

リテラルにも全て明示的に型が必要な言語とかあったらたぶんオレンジ好み＞＜

(これを正確に説明するの難しいけど、例えば基本型への代入でも、作った型(？)への明示的型変換を伴うリテラルの代入も、同じように書くみたいな環境があったらって＞＜(なので正確にはリテラルにリテラル用の暗黙の型が存在するけど、そのまま使わないみたいな環境＞＜)
なので例えば、ユーザー定義の距離型にメートル型として暗黙の浮動小数点型のリテラルを代入する　みたいな場面がたくさん現れるような言語に＞＜(型作る時に、ほぼ必ず演算子のオーバーロードも定義するみたいな感じになるはず＞＜) 説明長すぎた＞＜；)

あと、型推論が嫌なだけじゃなく、基本型？を多用するのもあんまり好きじゃない(けど、しかたなく多用してる＞＜；)ので、それを是とする主に数学好きが好む系の実際のコード、なんかキモい＞＜；

C# でvar varされてるコード弄るとき、wwwwの草むしりのAAみたいな顔しながら型書いてってる＞＜(ショートカットキーひとつで置き換わるようになってほしい・・・＞＜)

This account is not set to public on notestock.

This account is not set to public on notestock.

@cuezaku すごく＞＜

(例えばオレンジの場合は、ザクさんに発見されて(？)、その伝で、えじょさんと会ったから今こんな感じだし、それとは別にゲーム(テラリア)で広がった繋がりもあるし＞＜ あと、宇宙開発関連から電大方面に広がった繋がりとか＞＜)

あと、そういうネット上の人間関係(人材関係？)みたいなの、ネトゲでもそうだけどコミュニケーション能力がすごいハブみたいな人に発見(？)されるかどうかで、広がるかどうかがかなり違うし、そういう交流的なタイプの人からさらにそういうタイプの人にっていうのがあれだし、そうなった人って有利だよね＞＜

オンラインにある程度知り合いがいる人ってそれだけでもかなりアドバンテージを持ってるって事を自覚すべきなのかもって思ってきた＞＜
(そういう面って、例えばネトゲをするとかでも発生するし、ネトゲしてるってだけでも(フレ0人じゃ無ければ＞＜；)、ネット上に人的取っ掛かりが無い人からかなり見たら有利かも＞＜)

テーマインスタンス、あるジャンルの物事について主張・表現の公表をしたい(例えば、音楽が趣味で作曲について話したい)けどオンラインに知り合いが居ないって場合にどうすんだ？って考えると、その面でもわりと重要かもって気がしてる＞＜
(音楽の場合は音楽用の交流ウェブサービスすごく多いのであくまで例えだけど)

githubで直接少額投げ銭出来たらいいのに＞＜

ていうか、鉄オタの99％くらいは、マニ車って単語見た瞬間には先に荷物車を脳内に思い浮かべると思う＞＜；

@cuezaku それは色々難しそうだし、制限をかけるの現実的じゃないし、制限せず気に入ったら払ってね！方式でもVectorって今となってはめんどそうでお金払おうって人少なくなりそう＞＜

goはオレンジが使うの発想が違いすぎて無理＞＜；

This account is not set to public on notestock.

ていうか、今作ってる高精度音声プレイヤーと、あとWASAPIループバック計測ソフトウェア群、GUIちゃんとつくったら対価もらっていいもののような気がしなくもないけど、受け取り方がわからない・・・・＞＜

This account is not set to public on notestock.

テラリアの鯖の改造というかなんというか、プラグインの開発と、あと自分が作ったやつじゃないやつのバージョンアップ対応は、特に気にしないでやってた＞＜ C# だから＞＜(お礼に？ゲームもらったりしてるからあれだけど＞＜)

マストドンがC# で書かれてたらオレンジがただでやってあげるのに＞＜

This account is not set to public on notestock.

なにかを考える為の題材的な＞＜ 事故調査報告書の類いが役に立っておもしろいのもそれだよね＞＜ 事故で何が起きたかを読むだけじゃなく、こういう時にはこうすればいいのかな？＞＜って考える為の土台になる＞＜

別の本っぽさ？＞＜

This account is not set to public on notestock.

航空機のレーダー応答波のデコードで、詰め込まれ過ぎてぐちゃぐちゃでめんどい＞＜；って愚痴った時に、なんでも色々適当に合わせまくりの人が書いた「ぐちゃぐちゃだ」的共感に対して「わからないで適当に言ってるでしょ？＞＜＃ あなたいつもそう＞＜＃ 」ってキレて説明した時のです＞＜；

(成り行きでビットとかバイトとか、ビットマスクとかシフトとか解説する事になった時の感想＞＜)

orangeさんのツイート: "わからないっていう人に優しくゼロから説明するのと、わかるっていうひとに「わかってないでしょ＞＜」って厳しく説明するのって、やり方全然違うし後者難しい＞＜" https://twitter.com/orange_in_space/status/697049707411931136

おもしろそうな本＞＜

This account is not set to public on notestock.

This account is not set to public on notestock.

オレンジはそういう返答でも話を聞いて応答してくれるタイプであれば、延々と教えるの好き＞＜
(返事なしで「ちょっと黙ってて」って勝手に進めて「あれ？ これどういう状態だろ？」「？＞＜；(「"これ"とか言われてもこっちには画面見えてないんだよ！＞＜； ていうか応答無いから何してるのかさっぱりわかんないよ！＞＜)」ってなるのが一番つらい＞＜)

荒れては居ないつもりだった＞＜；(オレンジ的には普通に言及してた＞＜；)

これで言う、いけないって、つまりごはん炊く時に食器用洗剤を手に持ってる人みたいな意味＞＜
https://mstdn.nere9.help/@orange_in_space/100825062981008183

This account is not set to public on notestock.

ていうか、件の人、パブリックとプライベートの概念の理解に問題があるっぽいし、それだけでも十分に「鯖をたててはいけない人」になると思うんだけど？＞＜

This account is not set to public on notestock.

自分で調べられない質問しまくりタイプの人には、どの知識が足りてないのかを具体的に細かく言ってあげる方がいいと思うよ＞＜
(学ぼうって姿勢無くて手順だけ聞き出そうとしてきたら、凹ませて諦めさせる事も出来るし＞＜)

This account is not set to public on notestock.

ついでに言うと、件の人、ママレモンでお米洗うレベルの人だったりしないの？＞＜

逆に簡単であるとオレンジが考えるお料理に置き換えたうえで意図を示すと、
「お米といで炊飯器でごはん炊くのやってみたいけど簡単か？」 には、「簡単だよ＞＜ だいじょうぶだよきっと出来るよ＞＜」とは言うけど、
「えーと、まず、ママレモンで」とか真顔で言い出したら止めるよ？＞＜；
食器用洗剤でお米洗おうとするレベルの人にも「マストドンインスタンスたてられるよ」って言っちゃってない？＞＜って言いたい＞＜

で、その上で、マストドンのインスタンスたてるのは簡単か？だけど「簡単じゃないでしょ！＞＜；」って思ってるし、実際、ザクさん界隈の人がインスタンスたてるって言った時に一応最初はとめた＞＜(けど、その人、インスタンスたてられた＞＜)

本題の？マストドンのインスタンスをたてるのは簡単か？＞＜だけど、
「誰でも出来る」の意が、たてるために必要なUNIX関連やhttpsやなんやかんやに知識を、全然鯖とか建てたこと無い人でも短期間で学べるという事であって、必要な知識を学ばず出来るって事じゃないよね＞＜

オレンジは質問しにいくみたいなのまず無い一方で、教えたがりなので、いわゆるエスパーサポートしたり、わからない事を一緒に調べてあげたりする事すごく多いかも＞＜
(それに慣れすぎて推定で先に進みまくるクセがついた＞＜；)

オレンジみたく、わからない事を「わかんない＞＜；」って公開で独り言で書く手もあるよ！＞＜
(教えてもらえることほとんど無くてだいたい自己解決しました！＞＜；になるよ！＞＜；(たぶんラバーダッキングと同じ効果もあると思うよ＞＜))

ていうか、現実のモノがかかわってくる例えば工学って名前がつく分野で、理論だけで理論にすべて穴がないか知れるのあれば、工学って名前がつく方面の研究に、実験なんて無いでしょ＞＜
手を動かす(比喩)のって、研究における実験と同じようなものだよ＞＜

理論を読んだとして、読めているかはどう自分で判断できるのですか？＞＜
(という発想で、それを知る事はとても難しいので、それをあぶり出す作業のひとつとして、手を動かす(比喩)はかなり強力だよ！＞＜ って言いたい＞＜)

あわせて読みたい＞＜(オレンジの意図)

メアリーの部屋 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%A1%E3%82%A2%E3%83%AA%E3%83%BC%E3%81%AE%E9%83%A8%E5%B1%8B

らりおさんの発想というか行動パターン、全体的に視点の追加が少なすぎるようにオレンジには見えて、なんというか、もったいなく感じる・・・＞＜

ていうか、手を動かす(比喩表現)のって、ものすごく効率よく視点を追加する事が出来る作業で、
別の言い方をすると「視点を追加する事によって自分が知らなかった事に気づく作業」かも＞＜(『知らない事がある事』を知るのは大変＞＜)

言及されてる人(？)よくわかんないけど、鯖たてるのに知識ゼロのままじゃ無理なの当たり前では？＞＜

インデントは機械的に整形されるべきだよ派の延長で、タブとスペースで正しいのはどちらかと言うとスペースだよ派になった＞＜(論理的構造を元に視覚的構造が形成されるべきであるという発想を元に(数百文字にわたる説明を省略)するとそうなる＞＜)

インデントは機械的に整形されるべきだよ派！＞＜(オフサイドルールは正しくないよ派！＞＜)

This account is not set to public on notestock.

可視光通信でセンサ二つ使うのって、微妙っぽさ感・・・・・・＞＜

This account is not set to public on notestock.

？＞＜

<

ていうか、iniの読み書きって、極端に文字列を扱うのが苦手な言語(※1)じゃなければすぐ作れそうな＞＜

(※PascalとかPascalとかPascalの事です＞＜；)

あ！＞＜ Delphiの場合にはVCLにini読み書きクラスがあってそれ使うとかだった気がしてきた・・・＞＜

iniの読み書き、Delphi 6とかの頃でも
自前で読み書きしないとダメって言われてた記憶あるんだけど＞＜(実際自前で読み書きしてた記憶ある)

ini読み書きのWindows標準の(既に非推奨の)API、普通に使う(？)んでも制限あって、ini形式が好きでも自分で読み書きしないと、例えば標準のAPIの制限無視して書いたやつ読めないとか起こるし・・・・あれじゃん？＞＜(語彙)

This account is not set to public on notestock.

苗村　憲司　君-情報処理学会 https://www.ipsj.or.jp/annai/aboutipsj/fellow/naemura_k.html

ひらぶん・へいぶん - こせきの技術日記 - 技術日記 http://tech.g.hatena.ne.jp/koseki/20050822/hirabun

"1970年代から「明るい暗号運動」という暗号技術を普及させる運動が高まり、JISでは「へいぶん」という読みで登録された。"

"明るい暗号運動" ？？？？？＞＜；

平文 ‐ 通信用語の基礎知識 https://www.wdic.org/w/WDIC/%E5%B9%B3%E6%96%87

「ひらぶん」じゃないの！？＞＜； って思ってググったけど「ひらぶん」っぽい？＞＜

小学校の算数に型システムつければ、たぶん掛け算教えるのも楽だし掛け算順序とかアホな発想不要になるし、桁とか位を教える時にも使えるし、後々、集合論の理解とかの土台にもなりそう＞＜

ついでに動的型付けな言語嫌って静的型付けな言語を好む人増えそう＞＜(洗脳＞＜；)

さっきの"ヨーグルト+1 "の話、あれ、他の子より先になぜ1+1は2なのかちゃんと教えてもらえそう＞＜
(小学校の算数に型システムつけよう派＞＜(データ型としての(？)型安全な算数＞＜) そうすれば「🍙2個足したら大きい🍙じゃん・・・」って混乱する児童減らせそう＞＜(教えられる教師も減りそう＞＜；))

こういうこと言う人が作ったゲームがおもしろそうだったり画期的だったりする例見たこと無いし、なんで21世紀になって20年経ちそうな時代にアトランチスの謎に毛が生えた程度のゲームが7ドル？で何本も売れると思ったのか・・・＞＜
-- 「インディーズゲーム市場では内容よりもマーケティングの方が重要になりつつある」という開発者の指摘 - GIGAZINE https://gigazine.net/news/20181001-indie-game-increase/

HEVCより高性能でロイヤリティフリーの新しいAV1デコーダー「dav1d」をVLC Player開発元が発表 - GIGAZINE https://gigazine.net/news/20181002-dav1d/

これすき＞＜
https://twitter.com/ksuenaga/status/1046198584654352385

This account is not set to public on notestock.

茨城県沖らしい・・・＞＜

じしん＞＜

つらい＞＜

しゅごい＞＜
世界最小マイクロエンジンの製作を目指して/わんぱく工作室 http://tachino.o.oo7.jp/en-2st.html

あ！＞＜； 最大32bitでそれ以上は切り捨てるようになってた！＞＜；
https://mstdn.nere9.help/@orange_in_space/100823644571767536

もしかして、WASAPIの中身floatで計算してるんじゃなく実は40bit intで計算してるとか？＞＜； そんなバナナ・・・＞＜

bit深度の推定の計算部分、ものすごく間違えてる気がしてきた＞＜；

あれ？＞＜； 最大に振り切れてても動くソースと動かないソースがある・・・？＞＜；

・・・あれ？＞＜； 音最大でもなぜかリミッター動いてない？＞＜；

（ソースの品質としてはヘッドルーム無いんだから良くないんだけど、そういうデータも「Windowsはリミッターが入るから音が悪い」論のような問題を起こさずに、リミッターが動かないようにちゃんと正しくWASAPI共有モードを使ってちゃんと再生している！＞＜）

WASAPI共有モードで16bitソースを32bit floatに変換して音量調節してから再生して、それをWASAPIループバックして測定し、間違いなく16bit完全であり65536段階の完全な階差数列になっている事を検出しているスクリーンショット！＞＜

予備のキーボード、バックライト無しの普通のキーボードで、キートップ見づらくてつらい＞＜；（タッチタイプできないんです＞＜；）

キーボード壊れたけど予備のMSの安物キーボードがあるの思い出して発掘してつないだ＞＜

メインPCのキーボード壊れてつらい＞＜