IDEでタイピング中からエラーわかる(すばらしい!><)→ビルドするとエラーわかる(まあしょうがない><;)→実行時にエラーがわかる(は?><)
IDEでタイピング中からエラーわかる(すばらしい!><)→ビルドするとエラーわかる(まあしょうがない><;)→実行時にエラーがわかる(は?><)
遅い上にビルドしなきゃわかんないって、IDEで甘やかされた身からすると「そんなの書いてる途中からチェックしてよ!><;」ってなるしやっぱ部分範囲型欲しい・・・><
public static explicit operator BubunHanniGataModoki(int v)
{
Contract.Requires(v > 2 && v < 5);
return new BubunHanniGataModoki(v);
}
//明示的な型変換の時に範囲チェックするという方式><;
class BubunHanniGataModoki
{
//大きく略
//intからの明示的な型変換の宣言
public static explicit operator BubunHanniGataModoki(int v)
{
if (v > 2 && v < 5)
{
return new BubunHanniGataModoki(v);
}
else
{
throw new ArgumentOutOfRangeException("3 か 4 専用でした!><;");
}
}
}
varの所でクイックアクションとリファクタリング選んでもやっぱなにも出ないけど><;
そんなのあったっけ・・・?>< "「var」を右クリックして表示されるコンテキスト・メニューから[リファクタ]-[実際の型の挿入]を選択することで、varを実際の型に置き換える機能" C#への期待。アンダースからの返答(3/3) - @ IT http://www.atmarkit.co.jp/fdotnet/insiderseye/20060215cscommunity/cscommunity_03.html
Delphiの事実上の後継であるC# が、PascalとかAdaの部分範囲型を採用しないの、今でも謎・・・><(typedef嫌ってるのと似たような理由?><)
いきなり型の宣言と演算子のオーバーロードから始まってるの、なんと言うか伝説は本当だったのか的な・・・><;(Adaの実用的なコードほとんど読んだ事無い><;)
Adaだ・・・><
TeXCAD / Code / [r65] /tc.ads https://sourceforge.net/p/texcad/code/HEAD/tree/tc.ads
人が死なない分野ではこれとかがAdaで書かれてるらしい・・・><(今知った><;)-- TeXCAD 日本語情報トップページ - OSDN https://ja.osdn.net/projects/sfnet_texcad/
Adaは今でも、失敗したら人が死ぬ分野では現役の言語だよリスト>< --
Who's Using Ada? Real-World Projects Powered by the Ada Programming Language November 2014 - Michael B. Feldman http://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html
石油でどうにかは色々無理だけど、せめてカルシウムカーバイドからどうにかしてポリエチレンとか作ってみたい・・・><(作り方わかんないし作れない><;)
オレンジは、石油化学工業まるごと自作してみたいという意味で自分用の油田ほしい・・・><;
油田持ってりゃあなぁ私もな〜って思ってた時期もあるけど油田持ってたところで正しい活用ができなさそうだから使える人が使うのが一番いいですね
Adaが言う正しいって、だいたいどの段階でもヒューマンエラーを起こさないという基準での正しさかも?>< 型ありきどころか型チェックありきでとにかく型を作れってなってたり、haskellerが言う「型ありき」が裸足で逃げ出すレベルの頑固な仕様かも?><(使ったこと無いけど><;)
移植性の良さは、実際に使用するユーザー(Cで言うならCでプログラミングする人)からみたデザインの正しさとは別だし、
https://mastodon.cardina1.red/@lo48576/99697943444572728
にも反するかも><
頑固に「正しいこそ正しい」って発想の言語、良し悪し抜きで言うとAdaかも?><
かつて無数にあった「正解」だと思われていたであろう言語のうち、今ひろく正解だと思われているものに心当たりがないし、単一の正解も見付けられないのに正しさのエッセンスの約束をどう定められるのか(いや今の人類には不可能だ)という気持ちです
ていうかCこそ「デザインなんて正しくなくてもいい! それよりも移植性を」って言語の代表なんだから、将来まで見据えたデザインのただしさと言う文脈で出すとあれかも><(デザインが正しくなくても普及する方が正しいって戦略でその通り勝利したという意味では正しい><)
Cって単にUNIXの移植性の意味での将来性を重視してた、それこそworse is betterなUNIX的発想の言語なんだからそりゃそうでしょ・・・・><
たとえば将来(に現れるであろう多様なプラットフォーム)を見据えて設計された C 言語という言語があるんですが、現代においては策定者側に「人間はそんなに賢くなかった」的なことを言わしめるほどには駄目とされているし、正しい「約束」は人間には無理です
新しいものをホイホイ作らないで将来を見据えてデザインされたソフトウェア、例えばNTがある><(ユーザーに届く形でUXではホイホイ変えまくりの部分もあるけど、少なくとも基礎の部分はUNIXを強く嫌って「最初から正しく書け」って発想のカトラーらしいOSかも><)
このアカウントは、notestockで公開設定になっていません。
うん><; だからworse is betterは正しくないし、正しいか正しくないかの基準をどこに作るか?って事になるし、現在の現実のソフトウェアのUXデザインはユーザーが悪いと言えるレベルに全く達していない(製品の良し悪しではなく、例えば約束という発想が不十分とかそういう面)なのでユーザーのせいにしてはいけないと言いたい><;
https://mstdn.nere9.help/@orange_in_space/99698251682940548
この意見を進めると「正しくないものをリリースするな」になるんだけど、私が似たような「たとえ使えようが間違ったものは存在しない方がマシ」という意見はあまり賛同してもらえた記憶がない……
ちなみに1987年と今だと旅客機の操縦環境ある意味全く違う>< 航法や管制が全く違うと言っていい状況>< A320はその変化後を想定してデザインされてる><(ので、ハイテク嫌いの古いパイロット(もうだいたい引退してる年代)には嫌われやすい><;)
旅客機の例えばエアバスの過去を捨てたサイドスティック式のコクピットデザイン、強い乗員互換性がある最古のA320の初フライト1987年だよ?><
1987年にした約束を2018年現在最新の機種でも果たし続けてるんだよ?>< A320を作った時に将来まで約束し続けられるか考えてデザインしたから>< 今でもA320ファミリの基本的なデザイン全然古くないよ>< ボーイングの行き当たりばったりのコクピットデザインと比べると><
だからこそ思い付きで将来古くなるような新しいものをホイホイ作ってユーザーに提供するなと言ってる>< そのデザインは何十年約束できるのか?><ってひとつひとつ考えてから出せと言ってる>< Facebookのお兄さんみたいな発想は正しいデザインの敵><
ユーザに約束した結果が、いわゆる「互換性の闇」などと呼ばれるものであり、メンテナのいないレガシーコードの塊であり、単調増加する類似 API であり、尽きることのない脆弱性であり、その辺りの苦悩はソフトウェア界隈は既に痛い目見てるので……
それはworse is better的発想に片足突っ込んでるんだから「正しいデザインのものを」なんて言ってはいけない>< UNIXの哲学はUXデザインから見てどうしようもないゴミと言っているのなら別だけど、その上でもUNIXを捨てた所でユーザーに自由な選択肢なんて事実上存在しない><
様々なものを切り捨てて目標と過程を単純化することはできても、あらゆる複雑なことを単純にやるようなことはできないので、製品に文句を言う前に理解度を深めろという気持ち
(まあプロからしてもクソな UI とかはあるんだろうけど、それはそういう人々が批難して初めて説得力を持つので)
このアカウントは、notestockで公開設定になっていません。
シンプルなデザインであるべきとは言ってないんじゃない?ってさっき書こうとしたけどやっぱり本人が言った(?)
航空機(特にエアライナー)のコクピットデザインの、同一の資格で操縦できるものの範囲での変更は、慎重に慎重を重ねて全く違うものには絶対にしない(違うものにする場合資格も違うものになり再訓練が必要)って発想からみると、IT界隈のマンマシンインタフェースデザインは、開発者側に甘すぎる>< ユーザーに何の約束もしていない><
オレンジは操作をシンプルにしろとは全く言ってない>< むしろ自称シンプルなAppleのようなデザインをとても嫌ってるし、正しくないデザインの例としてApple製品を出して説明すること多い><
このアカウントは、notestockで公開設定になっていません。
そもそもIT界隈で、そういう操作手順等に関してユーザーに約束する発想のデザインってなされてる?>< 特にOSS界隈なんて開発者寄り(作りやすさのみ追究)するworse is betterの発想でしょ?><
UXの変化を嫌ってセキュリティ上問題がある古いソフトウェアを使用し続けるユーザーを擁護したことある?>< 作るのがめんどいからUXとセキュリティ対策が分離できない手抜き構造なデザインでソフトウェアを作ることを許容し続けてるでしょ?>< IT業界のほぼ全体で><
逆向きも、「懇切丁寧な手順書が付いてない製品はクソーーー!!!!」と思っているユーザは、さっさと別の製品に逃げればいいし、そうできる自由があるべき
べつに説明書が不要とか説明書が間違っているという意見ではなく、開発が「これだけ説明すれば十分わかるやろ」というラインを下回るユーザに付き合う必要はないという、基準を自由に定める権利の話なので、開発者が「猿にも使ってほしい!」と思うなら猿でもわかる説明書を用意すればいいし、それで沢山のユーザがつくこともあろうと思います
手順書その物のデザインの問題もある>< 手順書は想定される「正常な動作」だけではなく、想定される範囲の全ての異常をカバーし、かつ、異常とユーザーが認識した時に適切にそれに対応するページに適切に移動できるようになっていなければならない>< しかも、異常により不信やパニックに陥っているユーザーを想定した上で><
ステップバイステップな解説書が強く必要な場面はもちろんある>< 航空やその他間違えると人が死ぬ場面で使われるチェックリストはその代表かも>< 一方で、チェックリストが使用されるような環境はチェックリストでカバーできないような手順の変更はしない>< 必ずチェックリストも更新される><
オレンジには矛盾した意見に見える>< なぜならば、そもそも説明書が必要になるようなデザインは全く正しくないデザインであると考えるから><
人間が尊いというのは人権が守られるべきという話であって、馬鹿に懇切丁寧につきあって足を引っ張られてやれという意味ではないので、社会の大多数だろうが自分がそこに含まれていようが、間違ったものしか受け入れられないなら滅んでしまえというお気持ちがある
そもそも間違った設計のものが世の中に広まって親しまれるの、総合的に評価してマイナスでは
プロプライエタリだとユーザたち自身での問題解決も難しいし、そのくせすぐにベンダーロックインはかかるし
説明を読んでわからないユーザを容赦なく切り捨てる(あるいは開発側がサポートの義務を持たない)スタイルが絶対に必要だし、そのためには開発者がユーザを見捨てられるだけでなくユーザがアプリケーションを乗り替える自由も必要なので、オープンソースでやっていこうねという気持ち
NSマークのなんかエピソード、引退時かなんかに鉄道ファンに当時携わってた方が書いた記事があったような無かったような・・・><(自信無い)
ロットで違うっぽい>< -- プラレール:「100系新幹線」(新旧) http://plaza.rakuten.co.jp/piyopiyopiyopiyo/diary/201012220000/?scid=we_blg_tw01
あれ?><; NSマーク入ってない><;
-- Amazon | プラレール S-04 100系新幹線 | 車両 | おもちゃ https://www.amazon.co.jp/dp/B0002U3LO0
プラレールの100系新幹線にもNSマーク入ってるよね!?><って
http://www.takaratomy.co.jp/products/plarail/lineup/sharyou/index.htm
あれ?><; さすがにもう売ってない?><;(引退後も売ってた気がするんだけど・・・><)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
複数種の酒を飲むことを、なんでちゃんぽんって言うようになったんだろうね。五目酒にしたら、五種類飲んでねぇって絡み酒されたのかな。
フロリダの橋崩落事故、マストドンだと興味ある人すくなそうと思ってツイッターの方に書いた・・・><(航空機事故関連の話題もどっちに書くか迷うけど、なんかマストドンだと興味ある人かなり少ないっぽさが・・・><)
この事故、変な構造だしどんな橋?><;と思って調べたら、なんと作りかけの斜張橋というなんともな><; -- BBCニュース - 大学近くの歩道橋が幹線道路に崩落、少なくとも4人死亡 米フロリダ州 http://www.bbc.com/japanese/43425660
ジュースにリンゴの葉っぱも入れてるのかと思ってたらそういう意味じゃ無いっぽい・・・・><
この、葉とらずりんごってジュース飲んでみてるけどおいしい>< リンゴの真ん中辺っぽい味がする>< http://www.ringo-seiken.co.jp/product-list/1
富士通方式のバージョン一応現役?><; -- Xウィンドウシステム FUJITSU Software PC-X - Fujitsu Japan http://www.fujitsu.com/jp/products/software/infrastructure-software/infrastructure-software/pcx/topics/index.html
そういえば、富士通方式のバージョン(バージョン+レベル方式?><)、今も富士通は使ってるのかな?><(v.3.2.1がv.3.2L10になるみたいなの><(3.2.1.2なら3.2L12とかで3.2.2なら3.2L20かも?><))
日本版galaxy noteシリーズにlineage osって茨の道っぽい?><;
これ、ドコモ/au版でも動くのかな?>< -- [Oreo 8.1.0] UNOFFICIAL lineage-15.1 Rom for… | Galaxy Note Edge https://forum.xda-developers.com/note-edge/development/wip-unofficial-lineage-15-1-rom-tblte-t3739646
このアカウントは、notestockで公開設定になっていません。
7.1だとnote 8でものすごく高くて、その前ので爆発しないやつだとnote edgeで6.0が最新?><;
えじょさんのスマホ修理中の仮スマホ、galaxy noteシリーズはダメかも・・・?><(元のが修理終わったあともペンタブとして使えるかも的な><)
ウェブブラウザ上で動く.NET実行環境らしい・・・><
-- C# で Single Page Web Application が書ける Blazor が凄かった件 https://qiita.com/jsakamoto/items/20d4893f6c8cdb0356f6
中身読んでると思われるふぁぼは多くても気にしないけど、読んでない&あとからも読まないと思われるbotのふぁぼのbotはブロックしてる><
バラクーダさん『日本全国酒飲み音頭』 http://www.utamap.com/viewkasi.php?surl=33723
これ、単に悲劇という問題だけじゃなく、客室乗務員が安全上の規定を理解していなかったという面でとんでもなく重大だし、お医者さんを引きずり下ろした事件(※)のあのユナイテッドがまたかって感じだ・・・・>< -- 米ユナイテッド機内で子犬を頭上に収納させられ……犬は死亡 - BBCニュース http://www.bbc.com/japanese/43395639
(※あの事件が起きたような状況の中で運ばれたデッドヘッドな乗員は、安全上、乗務できない(FAAのAIMにも記述がある)ので無駄な輸送であるし、仮にそのまま乗務したのであればかなり重大><(という意味でも、安全上の問題だったという事で「またユナイテッドか><」))
交差点的に『『安房小湊』』(←訂正><;)から戻る感じじゃないと曲がるの難しいかもだけど、戻ってでも走ってもいいくらい景色すごくきれいな道かも?><;
ここ>< -- 道路レポート 国道128号旧道 おせんころがし http://yamaiga.com/road/r128_osen/main.html
鴨川行くなら、ちょっと手前のおせんころがし付近の海沿いのすごい景色の道走ったらおもしろいかも?><
すごく小さい時(2歳くらい?><;)に、ここ(だと思う><;)でクリームソーダ食べた>< -- はまこう - 南房総市その他/定食・食堂 [食べログ] https://tabelog.com/chiba/A1207/A120704/12025334/?rstdtl_amp=0.20575606465055896
マストドンに限った事じゃないけど、ちょこまか取得するのと、大きく取得するの、どっちが鯖の負荷が低いか謎><(なんか、ちょこまか取得させるのが流行っぽいけど、(制限を緩めて)無駄を承知で大きくまとめて取得させる方が負荷が低そうな気が><)
航空管制ってよく考えると、ハードウェアの面で急激にハイテクになったけど、その結果自由度が増した上に高密度になって、管制官の職人技で捌く要素がものすごく大きくなって、ある意味 より人力化したとも言えなくもないのっておもしろいかも><
逆に、747とA380ってどうなったら売れるか?><って考えると、空港がパンクすれば売れるよ!><(ていうか日本は空港がパンクしてたから747だらけだったわけだし><)
参考>< -- 航空:RNAV運航方式 - 国土交通省 http://www.mlit.go.jp/koku/15_bf_000379.html
今や飛行機は厳密な意味での航空路を飛んでない><(ていうか航空路廃止されまくってる><;)
この記事、半分正しいけど重要な要素の見落としが>< これだけ高頻度に小さいのを飛ばせるようになったのは、何よりも管制の方式が大きく変わった事かも>< これが無かったらどれだけ需要があってもこんなに飛ばせなかった><
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
そういえば、日本への観光旅行で、埼玉東部~茨城西部のめちゃくちゃ平べったい地形の景色っておもしろい風景に見えるのかな?><(地形目当てで来るって意味じゃなく例えば川越に来る時とか、日光へ行く時のスペーシア車窓とかで見た時に)
5時間30分じゃなく4時間30分だった><; びっくりした><;(でも連続入浴最長タイ記録かも><)
風景記憶、唯一実用的かもしれない生まれつきの謎能力><;(最近老化したのか、あんまり自動で覚えなくなった・・・><)
説明不足だった><; 11、12番線からの川越線の経路、大宮工場と高崎線東北本線(東大宮操車場にいく線)の立体交差の壁に挟まれて、なんか子供心には独特な雰囲気に感じた><
川越線の大宮駅地上時代の11、12番線からの経路、ちゃんとは記憶してないのに印象強かったみたいで、漠然としたホラーな悪夢の舞台がそこだった事があって(夢だからアレンジされちゃってるけど)、その夢の場面の方を記憶してる><;
埼京線直通前の川越線に乗った記憶残ってるけど、今の八高線の非電化区間と雰囲気そっくりだった><
テレビとかで川越!って映るのは蔵づくり通り?かも>< 普通に車道だけど観光のメインストリートで、資料館とかお土産やさん(芋のお菓子のお店が多い?><)とかが並んでる><
菓子屋横丁、横丁の中じゃなくちょっと横にある、なんか普通のいまどきの家にカウンターがついてるみたいな団子やさんの醤油団子おいしい>< 他地域からの観光客には味がしょっぱすぎるらしいけど><; その団子屋さんも20年くらい前?は、時代劇みたいなすごく古い建物だったんだけど建て替えられてしまった><
あ><; メインの通りは蔵づくり通り?>< で、そのちょっと離れたところに菓子屋横丁って、車が入れなくて古くからのお菓子やさんだけ大量に並んでるある意味テーマパークっぽい場所があって、観光の目玉?><
川越、一番メイン?><の菓子屋横丁は小さい><(ある意味札幌の時計台的な><;) あと、歴史的な建物とか博物館が、メインの通りから徒歩だと微妙に遠くて小江戸バス?に乗らないとあれなのがあれかも><(喜多院とか><)
・・・・・?>< -- Hello Kitty Jet Travels with You! | 首頁 http://www.evakitty.com/tw/
あと、東京以外でなら、オレンジの地元(だけど、ちょっと遠い) 埼玉県の川越が、昔の日本の街並みの観光地になってて、新宿から片道1時間くらいで行けるから、お手軽にちょっと時代劇みたいな街で遊びたい場合はおすすめかも>< 芋とお菓子の街だからお菓子いっぱいあるし><
あと、秋葉原以外も見たらおもしろかったかも?><って気が・・・>< 例えば東京でも、微妙に治安悪いけど新宿のLGBTなエリアとか・・・><(夜にいったこと無いから実際どんな感じか知らないけど><;)
オレンジ的には秋葉原って電子部品の街ってイメージだし、電子工作とかに興味がある人ならば、一応海外から来てもイメージ通り?><;(でも、サイバーパンクに出てきそうな頑固なおじいさんがやってる小さなお店とかだと、一見さんお断り(何度も来てる人しか相手にしない)とかがあるのが、観光客には・・・><)
秋葉、coolジャパン的なのと現実のそっち系(? 電気じゃなくアニメとかの)オタクの現実のギャップみたいなの、テレビで外国から旅行客の人を見るたびにヒヤヒヤしてる><;
そういえば、マグカップの底って、もし軽く渦巻き模様状に緩やかな凹凸があったら、スプーンとかでかき混ぜなくても、こう・・・カップをぐわんぐわんさせるだけである程度混ざりそうだけど、なんでそうなってるの無いんだろう?><(探せば売ってそうだけど)
雑すぎるので、インスタントコーヒーは、瓶からスプーンを使わずバサバサ入れて、お湯入れたあとにもかき混ぜない派><
こういう詐欺的なのは論外だけど、オプトインでマイニングツールインストールして、さらに自動じゃなく"100単位採掘終わったけどどうしますか? [ソフトウェア作者に寄付する][別のアドレスに送金する][そのまま]"みたいにある程度採掘出来た時にメッセージ出すみたいなのはあったらおもしろそう>< -- 仮想通貨の採掘をバックグラウンドで行うツールを同梱するフリーウェアが登場 | スラド IT https://it.srad.jp/story/18/03/14/062231/
TootCloudでワードクラウドを作成しました! #TootCloud https://tootcloud.ml https://mstdn.nere9.help/media/jjZ8OrUHyttBzv88nis
・・・・そういう妄想をした上で、昔の運輸白書を斜め読みしてみると、輸送力が足りなくて効率化しつつ増強しなきゃいけないけど、一方で赤字なので人減らしってかなり無茶な事をしてた昭和40年代・・・・><;
バスをなくしてタクシーを増やそう(その方が職が増える)、もちろん公的資金導入でバス並みに安く使えるようにした上でみたいな事を主張する赤い団体ってどこかに(日本じゃなくても)無いんだろうか?><
ていうかコンテナへの否定でもあるから1960年代以降にそんな方式が作られて生き残るのかなり難しそう><(「コンテナの方が・・・」とか「だったら道路作ってトラック輸送すれば同じなんじゃ・・・」みたいな意見を全て粛清しないと成り立たない><;)
その妄想を実現するなら幹線も貨物別線をとんでもなく作らないと不可能だから、土建屋議員頑張れになるけど><;(赤い人と土建屋が共闘?><;(本格的な失敗国家になってそう><;)
ハブアンドスポークモデルの否定でもあるし、21世紀に入るまで(?)は非常識すぎる発想だから、ある意味そんなのが部分的にでもある程度成功してたら、世界の物流の歴史にも影響与えたかもしれない><(ジャンボ機がカーゴでさえも売れなくて困ってる今ならそれほどおかしいとは考え無いだろうけど><)
妄想を延長すると、高頻度輸送で便利なら貨物電車使おうってなって、その為に電化しようって土建系の議員も(道路よりもこっちの方が儲かりそうと)後押しして、「やっぱ車は公害と渋滞が」って声が現実の歴史以上に大きくなってて・・・みたいなかなり違った交通網と産業形態の国になってた可能性も?><
あり得たシナリオを妄想すると><; 例えば、赤い人に折れて「これからは貨物も高頻度輸送で便利にする時代! 運転士を増やして高頻度に短編成の貨物電車を走らせよう! 」ってなってたらあり得たかも?><;
逆に言うと積み卸しの効率の悪さはコンテナにすれば問題がないので、コンテナ電車は(新幹線貨物輸送を想定して)試作したし、JRになってからSRC作った>< 両方ともわざわざ国鉄様が貨物電車を作った理由は高速化の為かも><
発想としては電気機関車にも貨物を積もうだから、それを国鉄でって考えるとかなりありえなそう><(機関車と違って使い回せなくて(積み降ろしする間は機関車として使えない)効率悪いし、小規模であれば荷物輸送の出番になるし・・・><)
三河鉄道デワ1形電車 - Wikipedia https://ja.wikipedia.org/wiki/%E4%B8%89%E6%B2%B3%E9%89%84%E9%81%93%E3%83%87%E3%83%AF1%E5%BD%A2%E9%9B%BB%E8%BB%8A
これが国鉄にいたらクモワだった可能性があるんだろうか
国鉄にクモワな車両が実在しない(よね?><;)の、国鉄貨物輸送で貨物電車が構想試作された時代にはすでにコンテナの時代が始まってたのと、私鉄で救援電車でデワがあるけどそれは国鉄ではクモエになるというのが理由と言えるかも・・・?><
PascalとかAdaの部分範囲型、他の環境に無いの単にPascal好きとして「あれあると便利なのに><;」って前は思ってただけだけど、今は「真に型安全な環境を構築する為には必須の機能だし、これがない環境で『失敗すると人が死ぬ』分野のソフトウェアが書かれているなんて信じられない!>< そういうソフトウェアはAdaで書かれるべきだ!><」みたいな原理主義者になったけどAda一回も使ったこと無い・・・><
相当する構造の車両、おそらく使い道的に荷物輸送になっちゃうからクモニとかデニになってしまう><(ただし荷物輸送じゃなく貨物ではありえないか?というとあり得るからあり得たかも>< キワ90もあるし><)
逆に(?)、この「くもわ」とかいうの
もちゃんと体系化すれば、実用的(使いやすいという意味ではない)な型システムになりそう>< 平仮名一文字じゃなんだかわからないしオレンジはこんなの覚えられないけど><
型システムが無い=現実の問題との繋がりの表現(情報)が無い・・・し、現実との繋がりの情報がないという事は繋がりの情報がツリー状になっていない(そもそも無いんだし)ので、結局(この「くもわ」等々への批判の言葉を借りると)各個撃破のようになってる
という風にオレンジからは数学(のサブセット)は見える><
これ知らなかったし、順番おかしいとか、そもそも比べる量とかいう表現意味不明という点は置いておくと、オレンジにはむしろ『自称数学好きが言う数学』(数学のサブセットであり型システムが無い(型システムはほんとに無いっぽいけど型理論は(以下説明略)))って、この「くもわ」みたいなものに見えるんだけど><
-- 小学算数教育の中では当たり前になってきつつある「くもわ、はじき」という表は子どもをダメにする? - Togetter https://togetter.com/li/1207824
公園とか動物園とかも楽しいのかも・・・?><(でも見て回るのに時間かかるだろうし><)
主にNHK BSの海外のおもしろい場所を紹介する番組(世界まち歩き とか 2度目の~ とか 世界入りにくい居酒屋 とか)よく見るけど、(逆に?><)いざ海外から日本へ来たって時にどこをおすすめするかと考えるとわりと難しい・・・・><(という事にチーズくんが来て気づいた・・・><)
静岡空港、新幹線の駅作らないのって静岡県よりもJR東海がアレだト思う>< 空港経由で新幹線へ客を奪うって発想内のすごくアレかも><
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
久しぶりにトップバリュウィスキーちょっと味見で飲んでみたけど、香りがエタノール><; 味は一応ウィスキーと言えなくも無い・・・?><; 「禁酒法時代の蜜地蔵主ってこんな感じだったのかな?>< でも、だったらもっととうもろこしの味がしそうだけど、これはとうもろこしの甘みもない・・・><」みたいな味><
このアカウントは、notestockで公開設定になっていません。
!!!><;
道路交通法施行規則
"(原動機を用いる身体障害者用の車椅子の基準)
第一条の四 法第二条第一項第十一号の三の内閣府令で定める基準は、次に掲げるとおりとする。"
(略)
"ニ 自動車又は原動機付自転車と外観を通じて明確に識別することができること。"
電動車イスの二人乗りと牽引がこういう風に書かれてる(違法なら違法と書かれるはず?)ということは、違法と解釈するのが難しいって事かも?>< -- 神奈川県警察/電動車いすをご利用のみなさまへ https://www.police.pref.kanagawa.jp/mes/mesf0126.htm
!?>< -- 災害時2人乗り車椅子を開発「2人が同時に乗り1人で搬送可」 - トイレ移乗・移乗介助の車いす【助人くん】 http://www.yoneseibussan.com/news/201609/post-25.html
ポリスメン「なんですかこのナンバーがついてない変な二人乗りの車は!?」
???「道交法第二条の"身体障害車用の車いす"である電動車イスに乗った人ふたりが、道交法上の歩行者として縦に近接して歩行してるだけです!><;」
Oo.><
・・・身体障害者用の車いす、歩行補助車等って歩行者なんだから乗員(?)はひとり?><
何を考えてこの法律の穴を見つけたかというと、畳んでクルマのトランクに積んだり家の中に収納出来るくらい小さい公道を電動走行可能で2人以上乗れる乗り物って可能なのかな?><という・・・><
運転席?には乗車装置という定義がたぶん無い?(気がする><;)からシートがなくてもいいけど2人目は政令にそう書いてあるんだから乗車装置が必要みたいな解釈になる可能性も?><;(その場合イスをつければいいだけだけど><)
道路交通法施行令 第二二条
"自動車の法第五十七条第一項の政令で定める乗車人員又は積載物の重量、大きさ若しくは積載の方法の制限は、次の各号に定めるところによる。
一 乗車人員(運転者を含む。次条において同じ。)は、"
(ものすごく略)
(届けでた書類) "に記載された乗車定員を、ミニカー、特定普通自動車等、大型自動二輪車、普通自動二輪車及び小型特殊自動車にあつては一人(特定普通自動車等、大型自動二輪車、普通自動二輪車及び"
『『『 "小型特殊自動車で運転者以外の者の用に供する乗車装置(以下この条において「乗車装置」という。)を備えるものにあつては二人" 』』』
")をそれぞれ超えないこと。"
ということは、2人乗れるターレットトラックも可能?><;
@TaiseiMiyahara ミニカーは、道交法施行令で1人になっちゃってるから無理かも>< 農業用運搬車とかの小型特殊は2人までってなってるからターレットトラックも2人までは可能かもって・・・><
市場とかのターレットトラックって、法律的に2人以上乗車可能なものが作れそうだけど法律上そうなってるものの実車って存在しないのかな?><(そもそも運転席が席じゃないのに問題ないということは、荷台の前半分(と掴まるための衝立部分)を2人目の乗車部分と言い張るのも可能なような?><)
ミニカー登録のシニアカーって謎の乗り物見つけた>< -- シルドLX4W(Sild LX4W) | 電動バイクや電動スクーター販売の株式会社アクセス http://www.access-trd.co.jp/products/sildlx4w
寝れ無くて適当にグーグルマップでふとアメリカあちこち見てたら、GTA5のロスサントスの各地ってほんとに細かい所までロスがモデルでデルペロハイツまであってびっくりした><;
安ウィスキーなら安いかも?>< トップバリュウィスキーまで行くともう謎の茶色いアルコールだけど><;バランタインファイネスト辺りならちゃんとウィスキー><
料理酒として使うお酒を地酒にする人も結構いるから、料理用に買ってる可能性もあるかも?><
オレンジの家、お酒 量は飲まないけど大量に在庫があるし家でお酒飲む文化な家><(たぶん祖父がお酒コレクターっぽい感じだったのの延長?><)
甘酒、小さい頃はあんまり好きじゃなかったんだけど、日本酒飲むようになったら、めちゃくちゃおいしいものと認識するようになった><;(でも、完成品で売ってるさらさらのはあんまりおいしくない><;)
作り方よく知らないけど、ホーローなべに酒かすと砂糖と水?><とか入れて作ってたような記憶・・・><
完成品で売ってる甘酒ってなんか、さらさらというか、ちゃぽちゃぽ(?)してるものだけど、オレンジの家で作ってた甘酒はすごくどろどろな感じだった><
ネトゲですぐフレ作れる人、だいたいいきなりハンドルネーム呼び捨てにする・・・><
このアカウントは、notestockで公開設定になっていません。
あと名物じゃないし土木マニアしか気にしないけど、VRの所の目の前の総武線の高架橋、一応、土木の歴史的に重要な物だったりする><
あと、秋葉原名物というとカツサンド?>< 新宿とかにもお店あるからあれだけど><;
http://www.niku-mansei.com/contents/03menu/03menu06sandwich.html
そういえば秋葉原といえば、ォァーが・・・><(海外から来てわざわざ見るものかというとそこまでのミームではないかもだけど><;)
ソウドオフAR15密造?><; --
銃規制派のライフル切断パフォーマンス、ライフルを違法に改造する行為だとして通報される | スラド IT http://it.srad.jp/story/18/03/12/059253/
ビックカメラの建物のΠみたいな形に白い部分の左の方の手前にトロコン写りこんでるかも?><
https://mstdn.maud.io/@opptape/99670025489780468
参考>< --トロリーコンタクター - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%88%E3%83%AD%E3%83%AA%E3%83%BC%E3%82%B3%E3%83%B3%E3%82%BF%E3%82%AF%E3%82%BF%E3%83%BC
このアカウントは、notestockで公開設定になっていません。
書籍版は読んだ事無いけど、この連載に走行抵抗とか牽引力(?)の計算の話も載ってたかも>< -- 鉄路100万キロ走行記 | 宇田 賢吉 |本 | 通販 | Amazon https://www.amazon.co.jp/dp/4876872635
機関車の性能と線形の限界の話、機関車の性能とか列車の走行抵抗の計算までしないとわかんないから難しい><(わかんない><;)
あと地質もかなり影響があったりあえて無視したり><(東北本線のヒガハスの所とか、その先とか当時としては地質的にかなり無理やり作った感が><)
このアカウントは、notestockで公開設定になっていません。
(例えば、鉄道趣味者はとんでもなく大量にいるけど鉄道土木趣味者ってそれと比較すると少ないかも?>< 交通政策系の趣味者もそこそこ多いとはいえ、全体から見ると少ない>< 交通のデザイン(路線図や駅、車内、総合的な案内等のデザイン/ユニバーサルデザイン等々)の趣味者も少ないかも?><
そういう感じの広い分野や、他分野からの知識流入、例えば、鉄道ではこうだけど航空ではこう解決してるとか船舶ではこうだよとか、デザインの話も発電所とかプラントではこうやってヒューマンエラーを減らしてるよ駅のデザインにも応用できるかも?とかそういう・・・・・なんの話だったっけ?><;)
鉄道趣味のインスタンスで各路線/事業者ごとの・・・も、話題一瞬で尽きるかも?><;って疑問が><
20年くらい前ならわざわざ情報交換しなければ趣味の情報を交換できなかったけど、今はそんなこと無いじゃん?>< 趣味者の多くがなんというかインターネットが一般的になる前から見たら信じられないほどディープな情報を誰もが持ってるのが当たり前じゃん?>< 書籍も昔よりディープな本が大量にある時代じゃん?><
逆にライトな人は特化型インスタンスになんてたぶん来ないじゃん?><;
昨日も書いたけど、地域インスタンスってターゲット地域の範囲がよくわからない問題と、そのインスタンスのアカウントでなんの話をするの?><という問題がある><(例えば中仙ドンで埼玉県内区間の話をしてたとして話題が広がったか?><って謎が><(昨日書いた通り、実際、中部地方インスタンスだと思い込んでたし><))
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
そのゲームの定石は無視するけど、代わりに元ネタの方のお勉強をして攻略法を考えるみたいな事してる><(例えばコンバットなゲームなら現実の戦術の話を色々読んだりとかする(した))
あとゲームで個々の勝敗は気にするけどスコアは気にしないから、スコアとかKD比?はとんでもないことになってる><
オレンジはゲーム極端に下手と言うか、定石通りの事は出来なくて自分で考えた自分の特性にあわせた自己流でしか出来なくて、それが出来るまでゲームにならないレベルだけど、普通に足引っ張りながらオンラインでもゲームやってる><
ザクさんとかに一緒にやろうって誘われてArma3のMOD鯖に参加したときも、鯖そのものは過疎ってほどでもなく数人はアクティブな人が居たけど、ザクさん界隈の人すぐに誰も来なくなって結局オレンジ一人でザクさんの基地維持してた・・・><
ejocraftに限らず、なんかオレンジがオンラインのゲームの鯖行くとほぼソロになっちゃうのって、オレンジのせいで過疎るのか、過疎ってもオレンジが飽きずに行ってるだけなのか、謎・・・>< テラリアもそうだった・・・><
これ><
シャトル桂台 - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%A3%E3%83%88%E3%83%AB%E6%A1%82%E5%8F%B0
ていうか、軌間じゃなく方式までにすると、広がりすぎてとんでもない事になってしまう><;(斜行エレベータ全機種コンプリートとか大変なことに><;)
モノラックに乗れば乗ったことにするであれば、四国?><に観光用のがあるかも><
みかん畑のモノレールとかはオジサンとかに「ちょっと乗せてくださいよぉ〜w」とか言えば乗せてくれそう とはいえ乗れないもののほうがおおそうだけど
例えば、野辺山のパラボラアンテナ動かすやつ、たしか動かす方の自走台車には人が乗れるけど、その上に敷いてあるアンテナ用のレール上の車両(=移動中のパラボラアンテナ)には人が乗れないかも?><;(軌間同じか違うか知らないけど><;)
『レールが並んでる鉄道っぽいもの』って定義だと、軌間ごとでも人が乗れないものもいっぱいあってコンプリート不可能かも?><;
有名なこういう本が・・・>< --
知られざる鉄道 決定版 (キャンブックス) | 岡本憲之 | 趣味・実用 | Kindleストア | Amazon https://www.amazon.co.jp/dp/B00O0KYXVI
AbemaTV、鉄チャンネルは復活させなくてもいいけど、鉄道番組と工場の番組どこかのチャンネルで流して欲しい・・・><
「Documentaryチャンネル」に関するお知らせ | AbemaTV公式ガイド https://guide.abema.tv/posts/3540894?categoryIds=67269
かなしい
鉄道事業法上の一般人が乗車できる鉄道 かつ 鉄のレールが並んでるいかにも線路っぽく並んでるもの(?><;)って定義でも、青函トンネル記念館竜飛斜坑線がそこだけにしかなくて曲者><;
たしか、鋼索鉄道とかまで含んじゃうと、一日で国内鉄道軌道全軌間コンプリートするの、時間的に(ダイヤ&移動時間的に)不可能になっちゃうんだったはず><
このアカウントは、notestockで公開設定になっていません。
そういえば、初台ということは京王線に乗ったのかも?><という事は1372mmゲージの鉄道に乗ったのもはじめてかも・・・?><(鉄オタ以外誰も気にしないかもだけど><;)
参考><
4 ft 6 in gauge railway - Wikipedia https://en.wikipedia.org/wiki/4_ft_6_in_gauge_railway
citrus、6話?><の京成スカイライナーのシーンの音を聞くためにそこだけ見たけどおもしろいのかな?><
ブログの感想というか派生した言及?><なのに、2toot足したら元のブログの本文より長文><;
計算機界隈的常識(?><;)と数学的常識の延長で思い出したけど、
掛け算順序問題で数学勢(?)が抽象的な数ばかりにのみ注目していて、式を作る時の変換(?)に注目してない(っぽい)のって、(順序なんて無いよには完全同意で、それそのものはひとまず置いておいて)
オレンジは「式を作る事に注目して、型システム(のようなもの)を使えばいいじゃん!><」って考えるけど、数学勢(※1 ?><;)がそう考えて無いっぽいのも、プログラミングって『現実の数学的問題を計算機がわかるように計算機の都合に合わせて翻訳』して、『計算機の都合で返してきた結果を人間が実用的に使える形にする』っていう橋渡しの作業だから、そう考える事こそが自然であって、数学勢はその橋渡しがメインではない方々だから(計算機界隈に置き換えて言うとマシン語で話してるようなものかも)そう考えないのかなって?><(偏見かもだけど><)
(※1 なんて書いていいかわからず"数学勢"と書いたもの、数学(のサブセット)が大好きで「数学は抽象的だ!」って言ってるような方々を想定してる><)
この本の目次とのギャップ、おそらく数学より先にプログラミングをはじめたか?><のギャップで、計算機の方が先だとこの本の目次にあるような事の多くは「知ってた・・・><」ってなりそうで、一方で先に数学を学んだ人は、「これらは数学の分野なんだから、数学が出来ないと全くわからないだろう?」みたいに思うみたいなギャップがある気がする><
だからこそ数学好きな人の一部が「小学校でプログラミングを教えるなんて無謀だ。『なぜならば先に小学校では教えない範囲の数学を教える必要があるからだ』」的な事を言ってるような気がするけどアレかも><(文字数の都合でアレかも><に><;)
先にプログラミングから入って数学が嫌いである事を公言して楽しく数学を嫌ってるオレンジからすると、プログラミングしてての「数学よくわかんない><;」ってそういう事じゃなくてってもどかしさがある…><
オレンジみたいに『計算機の考え方では一般的なのに数学では違う事』がわかんない人がかなりいると思う><(知ってそうでちゃんとは知らなかったことが知れる本なんだろうけど><)
おばけの先生の本だ>< この本、読もうかもとも思ってたけど、8割りくらい「知ってた・・・><」になりそうでまだ買ってない・・・><
-- 本の虫: プログラマの数学を読んだ https://cpplover.blogspot.jp/2018/03/blog-post.html
このアカウントは、notestockで公開設定になっていません。
インターネットミームにもなってるし、ミームの理解の意味でもおもしろいかも?><; --
1984年(昭和59年)頃CM ねるねるねるね バナナチョコ https://youtu.be/59U9pkOtFJg
そういえば!!>< 『ねるねるねるね』とか、あの辺りの化学なお菓子(?><;)って韓国で売ってないかも?><
http://www.kracie.co.jp/products/neruneru/index.html
このアカウントは、notestockで公開設定になっていません。
前から探してて見つからなくてまたふと探してしまったんだけど、
a-ha - Take On Me (Official Video) https://youtu.be/djV11Xbc914
Go West - We Close Our Eyes - 1985 https://youtu.be/i4FtrKfZ0Lo
この2つのミュージックビデオ、パイプレンチで有名(?)だけど、これ以外にパイプレンチが主役(?><;)なミュージックビデオってないんだろうか?><
テーマインスタンス、テーマの範囲がよくわからないと、自分が持ってる話題はそのインスタンスで需要あるのかな?><って疑問が発生してわからないになってしまう・・・><(わからない)
中京地域の人が「(JR)中央線」っていうと、なんか「中央西線の話題だよね?><」って思いこんでしまう現象的なのの道路版?><;
中仙ドン、いまさらながら気づいたけど、遠くの地域インスタンス(=中部地方インスタンス)ってイメージだったけど、中仙道って埼玉も通ってるから一応地域内だったのかも・・・?><;
2週間くらい前に書いたリングバッファ(?) 一応他でも使えるように書き直しました><
https://gist.github.com/orange-in-space/ccdbd35835fc51b7c9d9ba6bce6ee9f9
書いただけなのでちゃんと動くかわからない><;
ObsoleteAttributeじゃなく「この関数の機能は自動で実行されるので不要なのでダミーなんだけど、インターフェースで定義されてるからつけただけなので、別に呼ばなくていいです」って警告出す属性って無理・・・?><(Obsolete使うしかない?><;)
このアカウントは、notestockで公開設定になっていません。
そういえば去年、釜山に旅行に行った人が韓国物価高い(というかいつの間にか相対的に日本の物価が(不景気で)世界的に見て安くなったっぽい)って言ってた・・・><
このアカウントは、notestockで公開設定になっていません。
"無限に何かが倒れているのか落としているのかみたいな音"、オレンジの推理では、かぼちゃを切る音?><
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
そういえばmp3の仕様?><で微妙に意味がよくわかんないんだけど、なんでamazon mp3で売ってるmp3なファイル、ゲイン値(?)がとんでもない事になっててそのままだとクリッピングするの?>< 規格的におかしくない・・・?><
や、何かというと、今までは頑張って wavpack と flac と mp3 と m4a でやりくりしてきたんだけど、ついに youtube-dl -x が webm から抽出した opus ファイルを吐く時代になってしまったので、 opus に replaygain (相当のもの)を適用したくなってしまった
Opusの音量周りがとてもつらい - Qiita
https://qiita.com/obsolete-standard/items/cbde7257ab2e8c39a265
いつ読んでもつらい……