下の方に姉妹サイトってリンクが・・・><
flyteamの方も今さがしてみたら下のほうに"鉄道サイト『レイルラボ』"ってリンクが><
下の方に姉妹サイトってリンクが・・・><
flyteamの方も今さがしてみたら下のほうに"鉄道サイト『レイルラボ』"ってリンクが><
撮った列車の写真とかも多分RailLabとかに投稿しておいたほうがいいんだろうな感はあるけど面倒でやってない
fr24のデータ確認できた>< 間違いなく、ほたさんが乗ってた飛行機が羽田に到着した時の写真のはず><
オレンジフェリー|四国開発フェリー株式会社 https://www.orange-ferry.co.jp/ship_guide/orange_ehime.html
ほんとだ、大部屋がない
ほたさんが乗ってる飛行機の写真見つけた><
羽田で" 2018:12:27 15:38:48 "でJA706Aと言う事はあってるはず・・・?><
-- 全日空 Boeing 777-200 JA706A 羽田空港 航空フォト | by まんぼ しりうすさん 撮影2018年12月27日 https://flyteam.jp/photo/2705974
例えば好きな飛行機(個体)のレジ(クルマのナンバーみたいなの)で期間指定して「あの好きな飛行機最近元気かな?><」って見たり、土木関連の動画を工事の翌日に探したり(「クレーン><><><」(?))みたいな感じだと、再生数がかなり少ないていうか工事翌日だと再生数1桁が普通かも><
youtubeも含めて、一般の大多数(?)の人々の動画サイトのみ語ってこんな感じなのかもしれないけど、オレンジの場合だとyoutubeでも検索して探してみるのが基本だから、再生数1桁とか再生数ゼロ(アップロードしたて)の貴重な動画見つけて「!!!!><><><><」って(?)なること多い><
これ、 @vaginaplant 墓場人夜先生のフェアネスの話を理解するのにもってこいではないか。
多くの聴衆を獲得してる人達だけが有利にならないようにし、
まったく注目されていないユーザーにも、
注目を得られるチャンスが生じるようにする仕組み
について書かれている。
誰も気付いていないTikTokの本当のイノベーションを語る - 世界一TikTokを愛する男のブログ
https://toricago.hatenablog.com/entry/2019/01/02/080000
微妙につらかったからギフトで貰ったStardew Valley延々とやってたら、あっという間にSteamフレンドで持ってる人の中で最長プレイ時間になった・・・・><
This account is not set to public on notestock.
dot(Matrix<3, 2>, Matrix <2, 4>) が Matrix<3, 4> を返すみたいなことはできるし、 Physical<Kg(1), Meter(1)> / Physical<Second(-1)> が Physical<Kg(1), Meter(1), Second(-1)> を返したりもできる
もうちょっとわかりやすい例にするなら、行列のサイズが演算ごとに自動的に定まるのと同じ原理を使えます
たとえば物理単位を型で表現して計算可能にしようみたいなのは、依存型で実現できますよね
これ、今のままだと例えば距離型が振る舞いの大部分が基本型の実数型だとしても、演算子全部オーバーロード書かないといけない・・・><
結局、 opaque typedef は静的型があればどの言語でもできそうなんだけど、一番面倒なのは演算子オーバーロードをいかに簡単にするか、あるいは実用的な柔軟性をもって自動化するかというところなのよな
Nim、一応
type Hoge = distinct huga
とすることで「基本型な数値型を継承して」「基本型とは暗黙の型変換は無効化される」は達成される
が、演算子はデフォルトではオーバーロードされないので手動でやる必要がある(一応 {.borrow.} として省略できるが)
そういうのプラス、演算子のオーバーロードも今より気軽に書けるように、なんかする(?)と、例えば時間型と距離型を掛けると速度型が返ってくるみたいなのも今よりも簡潔に書けそう?><
derive_more - Cargo: packages for Rust
https://crates.io/crates/derive_more
opaque_typedef - Cargo: packages for Rust
https://crates.io/crates/opaque_typedef
まあ似たようなことを考える人はどこにでもいるんですが、結局それなりに柔軟で簡単なちょうどいいソリューションが見付からないみたいな状態なのかな
class Ninnzuu : Int64;//人数型><;
//この場合は演算子のオーバーロードとか色々抜きだけど、普通にオーバーロードとかも出来るとする><
//・・・って型を定義して
Ninzuu takasikunn = 42;//人数型><(たかしくんが42人(?))
Int64 nankaNoKazu = 10;//64bit整数型
//って宣言して
//エラー!><
Int64 nanka_kekka1 = takasikunn * nankaNoKazu;
//明示的にキャストしてるのでおk><
Int64 nanka_kekka2 = (Int64)takasikunn * nankaNoKazu;
// 実際のC# だとこのままだややこしい事になるかもだけどあくまでそれっぽい例示><;
基本型な数値型を継承して、そのままだと演算子も全て継承して(特に新たな定義が必要な演算子だけオーバーロードする(この場合だとオーバーライド?><))、でも基本型とは暗黙の型変換は無効化されるみたいな、そんな形の機能と言うか糖衣構文と言うかなんかそういうのあったら、Adaみたいにちょこまか型作る人増えると思うんだけど無理なのかな・・・><
とはいえ、大量に型を定義して、あるいは演算子もいくつも実装するのであれば、それは当然自動化されて然るべきだし、その十分な自動化機構なしにボイラープレートを許容して「型を用意すれば」というのは、これもまたポヨグヤミンとしては上質といえない
や、元から安全性なんて考えてなくて「いちいち型なんて定義してられっか面倒くせえ!」という素朴な発想なんだと思いますよ
延長で考えると(?)、静的型システムとかそれをより活用したIDEとかって、"理屈はさておき手を動かし"た時に、より正しい方向に導いてくれる(教えてくれる)し、正しくない物を排除してくれるので、むしろそういう環境の方が習うより慣れろでも正しく学べそう?><
(型が軽視されてる環境だと、そういうのが過ったまま先に進んじゃうよね><)
これは偏見になるんですが、「理屈はさておき手を動かして覚えよう」みたいなメソッドって、こういう「動けばよかろう」的な考え方に感じられてとても好きじゃないです
そういう人に「静的検査の方が『正しい』コードを書きやすい」と言っても、たぶん響かないんですよね
件の動的手動型検査の人は「正しいプログラム」というより「開発効率」に言及している事実は一考に値すると思うというか、正しさと「書けること」を並べて後者を好む人がいるんだなという
わりとハイカラで21世紀的な静的型システムな言語、オレンジ(Adaとかが好き)から見ると、データ型の型システムを軽視してるようにしか思えない傾向わりと謎><
(なんで匿名だったり基本型を多用しちゃうのか>< その方が楽なのはわかるけど><;((例えばタプル使わないで、いちいち(><;)型新しく作るほうがより安全じゃん?><;(「そのために複雑化するから安全じゃないじゃん?」って発想もわからなくも無いけど本質的に複雑な物をチェックをスルーさせてるだけじゃん?><;って思うんだけど><;))))
AdaとかPascalとか方面の頭固い言語(頭固すぎてカーニハンがブチキレて「Cの方が優れてる!」ってPascalをdisってたし><;)に触れるとわりと違うと思うし、実際触れたのでオレンジはこうなった><;(元から頑固だからぴったり合ったのかもしれないけど><)
微妙に偏見だけど、動的型つけな環境に(型システムがなぜあるのか?みたいな事を考えずに)どっぷり浸かりながらプロぐらいミングを学んだあとに、(主に特に最近流行の関数型を全面的に押し出してるような言語で)静的型システムに触れて感動したてみたいな人って、このqiitaの記事の人みたいな感じになんかこう微妙に・・・・><
世の中には意外と「俺は静的解析がなくても正しいプログラムを書けるんだぞオラオラ」と思っている人が多いことがわかる
ts で篩型みたいなの書けないのか知らないけど、「手で書けるから自動化システムは要らない」って文明に逆行してておもしろい
TypeScript不要論:型チェックは TypeScript や Flow じゃなくて JavaScript にやらせる。 - Qiita
https://qiita.com/standard-software/items/0b2617062b2e4c7f1abb
ネタじゃないっぽい……?
PC/スマホOS向けソフトウェア組み込み用である程度大きい組織がバックアップするオープンソースな簡易(HTML2.0サブセットというか1.0に毛が生えた程度)のウェブブラウザコンポーネントがあればいいのに><(個人レベルだとやっぱセキュリティ的なアレがアレだし、フルセットすぎるとそれはそれでセキュリティ的懸念が><)
(カスタム絵文字の方じゃなく)unicode絵文字とか言うめんどくさすぎるものが普及したのが悪い><;
オレンジがマストドンクライアント作るとしたらそういうフィルタ方式にするかも><
(作りたい!><;って書いてたのになんでぜんぜん進んでないかと言うとChromium Embedded Framework(CEF)が気軽にあらゆるソフトウェアに多用されまくりの現状は危険だって言ってるのに、CEF使って作るのはアレじゃん?><;ってなって、でも絵文字どうやって表示すんだ?><;って自作簡易ウェブブラウザコンポーネントまた作ろうとして(昔Delphiで書いたことが)、色々詰まって「(10年前のオレンジはなんで作れたのか><;)」ってなって完全に止まった><;)
ある意味これにも近い?><
https://mstdn.nere9.help/@orange_in_space/101355484548767640
(そこまで考えたんじゃなく単にツイッターにあわせただけ?><)
This account is not set to public on notestock.
This account is not set to public on notestock.
(ついでに具体的に書くと、通知にすぐにオンオフできるフィルタ機能つけていただけたら見やすいかも><って思ってた><(メンションだけのタブを用意するよりもスマートかも><(例えばふぁぼられ通知だけ見るとかも一瞬で見れる><)))
(この面SubwayTooterでも不満というか改良するアイディアを持ってるけど、オレンジの好みの範囲を超えて正しいとまでは言い切れない(のと、そういうのいわれるの好きじゃない人かも?><;ってあれもあって)書いてなかった・・・><(今書いた><;))
ていうかマストドンのUXデザインにおける気づく気づかないの話で言うと、なぜか(特にWebUIでは)メンションだけの表示が無く通知にまとめて表示されるだけだから、ふぁぼられたりブーストされたりと同じようにしか気づけないUXデザインになってるかも?><;
でも気温37℃とかよりマシって考えると耐えられる><(なんでこんな罰ゲームみたいな気温の所に住んでるのか・・・・><)
ブースト無しエアリプ(かつ どういう意見に対しての説明がない話)は、話がさっぱりわからんはものすごく同意><
とても短く逆に言うと、それ(メンション推奨、言及否定)を推し進めると、「エアリプすんな」もエアリプしてるやつに個別に直接メンションで言えになってしまう><
それでその話に関する話題って多くの知恵が集まる形で盛り上がる?>< エアリプというか言及の方が集合知の活用になるし知識の共有になるかも><
で、この二つtootがまさにそうだけど、(マストドンの仕様も考慮した技術的な意味で)これをエアリプというか言及という形にせずにメンションにしていた場合、オレンジの意見表明になっただろうか?><
オレンジの趣旨は単なる とねぢさんへの指摘だったのだろうか?><
それこそメンションにしたら、とねぢさんを咎めるような形になってしまうのでは?><
オレンジは1対1で議論したいのではなく広く議論出来る方がよいと考えたのでこうしたかも><(その方が多くの意見を得られる(引き出せる)かも>< その方が元の意見に関する議論も膨らむでしょ?><)
言い方を変えると、誰かに対するメンションの形で何かを書いても、それは公表と言う意味での書いたにならない(ようにマストドンもツイッターもデザインされている)し、それを公表と言う意図での「前にも書いた」とは言っちゃいけないかも><
エアリプの場合はその意見に対する言及っぽくて、メンションはその人に対する言及であり、やり取りする二人の範囲に閉じてしまっているものっぽさがあるかも><
オイゲン氏もエアリプ否定どころか言及否定みたいな発想を持ってるっぽいけど、誰かに対するメンションの形でなにかを書いても(マストドン等のUXデザイン上の問題もあって)何らかの意見を表明した事にはならないよ?><
(「プログラミング教育を」の部分が文章削れて「プログラミングを」になっちゃってたので修正しました><;)
この日のだね>< Scratchを使った基礎的なプログラミング教育を否定してる人に対してプログラミングの本質の部分と言語等での都合を分けて考えてないのは問題だよって指摘してる感じの時に書いてた><
2018年10月7日 - orange_in_space@mstdn.nere9.helpの投稿 - notestock https://notestock.osa-p.net/@orange_in_space@mstdn.nere9.help/20181007/view
前にツイッターで同じ趣旨の話を書いた時は「自動車教習所は『教習車の運転』を教える場所では無い><」って例えたかも><(教習車は運転免許取得に必要な技能を習得するための道具であって、『教習車の運転』の技能をつけるための道具ではない><)
この記事の"そこで求められるのは"以降の部分って、前にオレンジがマストドンで議論(?)してた時にオレンジが書いてた事にかなり近いかも?><
本当に諦めて刺身にタンポポ乗せたほうがよいのか(その1 プログラミングの勉強の順序の話) - Lambdaカクテル https://blog.3qe.us/entry/2019/01/02/195135
This account is not set to public on notestock.