21:40:02 orange @orange_in_space@mstdn.nere9.help
icon

下の方に姉妹サイトってリンクが・・・><
flyteamの方も今さがしてみたら下のほうに"鉄道サイト『レイルラボ』"ってリンクが><

21:34:26 orange @orange_in_space@mstdn.nere9.help
icon

ていうか姉妹サイトなので構成全く同じっぽさ?><

21:34:01 orange @orange_in_space@mstdn.nere9.help
2019-01-04 21:33:35 Posting えじょねこ ejo090@mstdn.nere9.help
icon

そんな感じかな 編成番号とか編成内の各社の車歴とかもわかるから割と重宝したりする

21:31:19 orange @orange_in_space@mstdn.nere9.help
icon

RailLab知らなかったけど、flyteamの鉄道バージョン?><

21:30:47 orange @orange_in_space@mstdn.nere9.help
2019-01-04 21:20:03 Posting えじょねこ ejo090@mstdn.nere9.help
icon

撮った列車の写真とかも多分RailLabとかに投稿しておいたほうがいいんだろうな感はあるけど面倒でやってない

21:27:09 orange @orange_in_space@mstdn.nere9.help
icon

fr24のデータ確認できた>< 間違いなく、ほたさんが乗ってた飛行機が羽田に到着した時の写真のはず><

21:19:09 orange @orange_in_space@mstdn.nere9.help
icon

fr24のビジネスアカウントが切れてしまってて確認できない・・・><

21:17:47 orange @orange_in_space@mstdn.nere9.help
2019-01-04 21:05:31 Posting えじょねこ ejo090@mstdn.nere9.help
icon

オレンジフェリー|四国開発フェリー株式会社 orange-ferry.co.jp/ship_guide/
ほんとだ、大部屋がない

オレンジフェリー|四国開発フェリー株式会社
21:16:46 orange @orange_in_space@mstdn.nere9.help
icon

ほたさんが乗ってる飛行機の写真見つけた><
羽田で" 2018:12:27 15:38:48 "でJA706Aと言う事はあってるはず・・・?><
-- 全日空 Boeing 777-200 JA706A 羽田空港 航空フォト | by まんぼ しりうすさん 撮影2018年12月27日 flyteam.jp/photo/2705974

Web site image
全日空 Boeing 777-200 JA706A 羽田空港 航空フォト | by T spotterさん 撮影2018年12月27日
21:04:50 orange @orange_in_space@mstdn.nere9.help
icon

例えば好きな飛行機(個体)のレジ(クルマのナンバーみたいなの)で期間指定して「あの好きな飛行機最近元気かな?><」って見たり、土木関連の動画を工事の翌日に探したり(「クレーン><><><」(?))みたいな感じだと、再生数がかなり少ないていうか工事翌日だと再生数1桁が普通かも><

21:01:41 orange @orange_in_space@mstdn.nere9.help
icon

youtubeも含めて、一般の大多数(?)の人々の動画サイトのみ語ってこんな感じなのかもしれないけど、オレンジの場合だとyoutubeでも検索して探してみるのが基本だから、再生数1桁とか再生数ゼロ(アップロードしたて)の貴重な動画見つけて「!!!!><><><><」って(?)なること多い><

20:59:41 orange @orange_in_space@mstdn.nere9.help
2019-01-03 23:29:57 Posting のえる :cava_red: DTP鯖管 noellabo@dtp-mstdn.jp
icon

これ、 @vaginaplant 墓場人夜先生のフェアネスの話を理解するのにもってこいではないか。

多くの聴衆を獲得してる人達だけが有利にならないようにし、

まったく注目されていないユーザーにも、

注目を得られるチャンスが生じるようにする仕組み

について書かれている。

誰も気付いていないTikTokの本当のイノベーションを語る - 世界一TikTokを愛する男のブログ
toricago.hatenablog.com/entry/

Web site image
誰も気付いていないTikTokの本当のイノベーションを語る
20:48:37 orange @orange_in_space@mstdn.nere9.help
icon

もしかしてオレンジともう一人以外はゲーム内の1年間(=四季全部)プレイして無いっぽさ?><

20:47:43 orange @orange_in_space@mstdn.nere9.help
icon

あ><; よく見たら一人だけオレンジより長い人居た><;

20:45:43 orange @orange_in_space@mstdn.nere9.help
icon

微妙につらかったからギフトで貰ったStardew Valley延々とやってたら、あっという間にSteamフレンドで持ってる人の中で最長プレイ時間になった・・・・><

19:35:55 orange @orange_in_space@mstdn.nere9.help
icon

ハクキンカイロ買うかずっと悩んでる><

19:31:40 orange @orange_in_space@mstdn.nere9.help
2019-01-04 18:19:04 Posting くろみる chrml@mstdn.nere9.help
icon

This account is not set to public on notestock.

15:18:32 orange @orange_in_space@mstdn.nere9.help
2019-01-04 15:11:35 Posting チチブ neso@don.neso.tech
icon

償いis何という気持ちになれるのでこれすきすぎる

Attach image
14:57:31 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:56:30 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

主に言語と処理系の実装者がハゲそう

14:57:25 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:55:12 Posting kb10uy kb10uy@mstdn.maud.io
icon

全部依存型だとハゲそうだけど

14:57:22 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:56:02 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

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)> を返したりもできる

14:57:13 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:53:20 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

もうちょっとわかりやすい例にするなら、行列のサイズが演算ごとに自動的に定まるのと同じ原理を使えます

14:57:10 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:52:45 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

たとえば物理単位を型で表現して計算可能にしようみたいなのは、依存型で実現できますよね

14:53:51 orange @orange_in_space@mstdn.nere9.help
icon

これ、今のままだと例えば距離型が振る舞いの大部分が基本型の実数型だとしても、演算子全部オーバーロード書かないといけない・・・><

14:50:58 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:49:14 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

結局、 opaque typedef は静的型があればどの言語でもできそうなんだけど、一番面倒なのは演算子オーバーロードをいかに簡単にするか、あるいは実用的な柔軟性をもって自動化するかというところなのよな

14:50:41 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:48:04 Posting kb10uy kb10uy@mstdn.maud.io
icon

Nim、一応
type Hoge = distinct huga
とすることで「基本型な数値型を継承して」「基本型とは暗黙の型変換は無効化される」は達成される
が、演算子はデフォルトではオーバーロードされないので手動でやる必要がある(一応 {.borrow.} として省略できるが)

14:50:12 orange @orange_in_space@mstdn.nere9.help
icon

そういうのプラス、演算子のオーバーロードも今より気軽に書けるように、なんかする(?)と、例えば時間型と距離型を掛けると速度型が返ってくるみたいなのも今よりも簡潔に書けそう?><

14:44:27 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:30:05 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

derive_more - Cargo: packages for Rust
crates.io/crates/derive_more
opaque_typedef - Cargo: packages for Rust
crates.io/crates/opaque_typede

まあ似たようなことを考える人はどこにでもいるんですが、結局それなりに柔軟で簡単なちょうどいいソリューションが見付からないみたいな状態なのかな

14:42:04 orange @orange_in_space@mstdn.nere9.help
icon

"Ninnzuu" "Ninzuu" ・・・・・・><;

14:41:32 orange @orange_in_space@mstdn.nere9.help
こういうのもすごく気軽に書けたらいいのに><(C# っぽく例示)
icon

class Ninnzuu : Int64;//人数型><;
//この場合は演算子のオーバーロードとか色々抜きだけど、普通にオーバーロードとかも出来るとする><
//・・・って型を定義して

Ninzuu takasikunn = 42;//人数型><(たかしくんが42人(?))
Int64 nankaNoKazu = 10;//64bit整数型
//って宣言して

//エラー!><
Int64 nanka_kekka1 = takasikunn * nankaNoKazu;

//明示的にキャストしてるのでおk><
Int64 nanka_kekka2 = (Int64)takasikunn * nankaNoKazu;

// 実際のC# だとこのままだややこしい事になるかもだけどあくまでそれっぽい例示><;

14:27:16 orange @orange_in_space@mstdn.nere9.help
icon

基本型な数値型を継承して、そのままだと演算子も全て継承して(特に新たな定義が必要な演算子だけオーバーロードする(この場合だとオーバーライド?><))、でも基本型とは暗黙の型変換は無効化されるみたいな、そんな形の機能と言うか糖衣構文と言うかなんかそういうのあったら、Adaみたいにちょこまか型作る人増えると思うんだけど無理なのかな・・・><

14:14:27 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:11:28 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

とはいえ、大量に型を定義して、あるいは演算子もいくつも実装するのであれば、それは当然自動化されて然るべきだし、その十分な自動化機構なしにボイラープレートを許容して「型を用意すれば」というのは、これもまたポヨグヤミンとしては上質といえない

14:14:15 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:10:20 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

や、元から安全性なんて考えてなくて「いちいち型なんて定義してられっか面倒くせえ!」という素朴な発想なんだと思いますよ

14:13:24 orange @orange_in_space@mstdn.nere9.help
icon

延長で考えると(?)、静的型システムとかそれをより活用したIDEとかって、"理屈はさておき手を動かし"た時に、より正しい方向に導いてくれる(教えてくれる)し、正しくない物を排除してくれるので、むしろそういう環境の方が習うより慣れろでも正しく学べそう?><
(型が軽視されてる環境だと、そういうのが過ったまま先に進んじゃうよね><)

14:09:56 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:06:41 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

これは偏見になるんですが、「理屈はさておき手を動かして覚えよう」みたいなメソッドって、こういう「動けばよかろう」的な考え方に感じられてとても好きじゃないです

14:09:47 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:05:47 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

そういう人に「静的検査の方が『正しい』コードを書きやすい」と言っても、たぶん響かないんですよね

14:09:37 orange @orange_in_space@mstdn.nere9.help
2019-01-04 14:05:11 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

件の動的手動型検査の人は「正しいプログラム」というより「開発効率」に言及している事実は一考に値すると思うというか、正しさと「書けること」を並べて後者を好む人がいるんだなという

14:08:49 orange @orange_in_space@mstdn.nere9.help
icon

わりとハイカラで21世紀的な静的型システムな言語、オレンジ(Adaとかが好き)から見ると、データ型の型システムを軽視してるようにしか思えない傾向わりと謎><
(なんで匿名だったり基本型を多用しちゃうのか>< その方が楽なのはわかるけど><;((例えばタプル使わないで、いちいち(><;)型新しく作るほうがより安全じゃん?><;(「そのために複雑化するから安全じゃないじゃん?」って発想もわからなくも無いけど本質的に複雑な物をチェックをスルーさせてるだけじゃん?><;って思うんだけど><;))))

14:02:13 orange @orange_in_space@mstdn.nere9.help
icon

AdaとかPascalとか方面の頭固い言語(頭固すぎてカーニハンがブチキレて「Cの方が優れてる!」ってPascalをdisってたし><;)に触れるとわりと違うと思うし、実際触れたのでオレンジはこうなった><;(元から頑固だからぴったり合ったのかもしれないけど><)

13:57:35 orange @orange_in_space@mstdn.nere9.help
icon

"プロぐらいミング"・・・・・><;

13:57:13 orange @orange_in_space@mstdn.nere9.help
icon

微妙に偏見だけど、動的型つけな環境に(型システムがなぜあるのか?みたいな事を考えずに)どっぷり浸かりながらプロぐらいミングを学んだあとに、(主に特に最近流行の関数型を全面的に押し出してるような言語で)静的型システムに触れて感動したてみたいな人って、このqiitaの記事の人みたいな感じになんかこう微妙に・・・・><

13:52:47 orange @orange_in_space@mstdn.nere9.help
2019-01-04 13:37:00 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

世の中には意外と「俺は静的解析がなくても正しいプログラムを書けるんだぞオラオラ」と思っている人が多いことがわかる

13:52:42 orange @orange_in_space@mstdn.nere9.help
2019-01-04 13:34:05 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

ts で篩型みたいなの書けないのか知らないけど、「手で書けるから自動化システムは要らない」って文明に逆行してておもしろい

13:52:39 orange @orange_in_space@mstdn.nere9.help
2019-01-04 13:32:42 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

TypeScript不要論:型チェックは TypeScript や Flow じゃなくて JavaScript にやらせる。 - Qiita
qiita.com/standard-software/it

ネタじゃないっぽい……?

Web site image
TypeScript不要論:型チェックは TypeScript や Flow じゃなくて JavaScript にやらせる。 - Qiita
09:47:28 orange @orange_in_space@mstdn.nere9.help
icon

PC/スマホOS向けソフトウェア組み込み用である程度大きい組織がバックアップするオープンソースな簡易(HTML2.0サブセットというか1.0に毛が生えた程度)のウェブブラウザコンポーネントがあればいいのに><(個人レベルだとやっぱセキュリティ的なアレがアレだし、フルセットすぎるとそれはそれでセキュリティ的懸念が><)

09:41:44 orange @orange_in_space@mstdn.nere9.help
icon

(カスタム絵文字の方じゃなく)unicode絵文字とか言うめんどくさすぎるものが普及したのが悪い><;

09:40:26 orange @orange_in_space@mstdn.nere9.help
icon

オレンジがマストドンクライアント作るとしたらそういうフィルタ方式にするかも><
(作りたい!><;って書いてたのになんでぜんぜん進んでないかと言うとChromium Embedded Framework(CEF)が気軽にあらゆるソフトウェアに多用されまくりの現状は危険だって言ってるのに、CEF使って作るのはアレじゃん?><;ってなって、でも絵文字どうやって表示すんだ?><;って自作簡易ウェブブラウザコンポーネントまた作ろうとして(昔Delphiで書いたことが)、色々詰まって「(10年前のオレンジはなんで作れたのか><;)」ってなって完全に止まった><;)

09:34:46 orange @orange_in_space@mstdn.nere9.help
icon

ある意味これにも近い?><
mstdn.nere9.help/@orange_in_sp
(そこまで考えたんじゃなく単にツイッターにあわせただけ?><)

Web site image
orange (@orange_in_space@mstdn.nere9.help)
09:33:43 orange @orange_in_space@mstdn.nere9.help
2019-01-04 09:33:25 Posting 4/30 21:00 JST: self-destruct kunimi_komichi@mstdn.komittee.net
icon

This account is not set to public on notestock.

09:32:55 orange @orange_in_space@mstdn.nere9.help
2019-01-04 09:32:41 Posting 4/30 21:00 JST: self-destruct kunimi_komichi@mstdn.komittee.net
icon

This account is not set to public on notestock.

09:32:39 orange @orange_in_space@mstdn.nere9.help
icon

(ついでに具体的に書くと、通知にすぐにオンオフできるフィルタ機能つけていただけたら見やすいかも><って思ってた><(メンションだけのタブを用意するよりもスマートかも><(例えばふぁぼられ通知だけ見るとかも一瞬で見れる><)))

09:30:47 orange @orange_in_space@mstdn.nere9.help
icon

(この面SubwayTooterでも不満というか改良するアイディアを持ってるけど、オレンジの好みの範囲を超えて正しいとまでは言い切れない(のと、そういうのいわれるの好きじゃない人かも?><;ってあれもあって)書いてなかった・・・><(今書いた><;))

09:30:37 orange @orange_in_space@mstdn.nere9.help
icon

ていうかマストドンのUXデザインにおける気づく気づかないの話で言うと、なぜか(特にWebUIでは)メンションだけの表示が無く通知にまとめて表示されるだけだから、ふぁぼられたりブーストされたりと同じようにしか気づけないUXデザインになってるかも?><;

09:21:20 orange @orange_in_space@mstdn.nere9.help
icon

でも気温37℃とかよりマシって考えると耐えられる><(なんでこんな罰ゲームみたいな気温の所に住んでるのか・・・・><)

09:19:48 orange @orange_in_space@mstdn.nere9.help
icon

午前8時の時点で青森(酸ヶ湯と十和田と碇ケ関以外)より寒かった埼玉東部・・・・><

08:47:48 orange @orange_in_space@mstdn.nere9.help
icon

ブースト無しエアリプ(かつ どういう意見に対しての説明がない話)は、話がさっぱりわからんはものすごく同意><

08:45:57 orange @orange_in_space@mstdn.nere9.help
icon

とても短く逆に言うと、それ(メンション推奨、言及否定)を推し進めると、「エアリプすんな」もエアリプしてるやつに個別に直接メンションで言えになってしまう><
それでその話に関する話題って多くの知恵が集まる形で盛り上がる?>< エアリプというか言及の方が集合知の活用になるし知識の共有になるかも><

08:39:29 orange @orange_in_space@mstdn.nere9.help
icon

で、この二つtootがまさにそうだけど、(マストドンの仕様も考慮した技術的な意味で)これをエアリプというか言及という形にせずにメンションにしていた場合、オレンジの意見表明になっただろうか?><
オレンジの趣旨は単なる とねぢさんへの指摘だったのだろうか?><
それこそメンションにしたら、とねぢさんを咎めるような形になってしまうのでは?><
オレンジは1対1で議論したいのではなく広く議論出来る方がよいと考えたのでこうしたかも><(その方が多くの意見を得られる(引き出せる)かも>< その方が元の意見に関する議論も膨らむでしょ?><)

08:30:04 orange @orange_in_space@mstdn.nere9.help
icon

言い方を変えると、誰かに対するメンションの形で何かを書いても、それは公表と言う意味での書いたにならない(ようにマストドンもツイッターもデザインされている)し、それを公表と言う意図での「前にも書いた」とは言っちゃいけないかも><

08:27:22 orange @orange_in_space@mstdn.nere9.help
icon

エアリプの場合はその意見に対する言及っぽくて、メンションはその人に対する言及であり、やり取りする二人の範囲に閉じてしまっているものっぽさがあるかも><
オイゲン氏もエアリプ否定どころか言及否定みたいな発想を持ってるっぽいけど、誰かに対するメンションの形でなにかを書いても(マストドン等のUXデザイン上の問題もあって)何らかの意見を表明した事にはならないよ?><

07:44:14 orange @orange_in_space@mstdn.nere9.help
icon

(「プログラミング教育を」の部分が文章削れて「プログラミングを」になっちゃってたので修正しました><;)

07:42:32 orange @orange_in_space@mstdn.nere9.help
icon

この日のだね>< Scratchを使った基礎的なプログラミング教育を否定してる人に対してプログラミングの本質の部分と言語等での都合を分けて考えてないのは問題だよって指摘してる感じの時に書いてた><

2018年10月7日 - orange_in_space@mstdn.nere9.helpの投稿 - notestock notestock.osa-p.net/@orange_in

前にツイッターで同じ趣旨の話を書いた時は「自動車教習所は『教習車の運転』を教える場所では無い><」って例えたかも><(教習車は運転免許取得に必要な技能を習得するための道具であって、『教習車の運転』の技能をつけるための道具ではない><)

Web site image
2018年10月7日 - orange_in_space@mstdn.nere9.helpの投稿
07:31:33 orange @orange_in_space@mstdn.nere9.help
icon

この記事の"そこで求められるのは"以降の部分って、前にオレンジがマストドンで議論(?)してた時にオレンジが書いてた事にかなり近いかも?><

本当に諦めて刺身にタンポポ乗せたほうがよいのか(その1 プログラミングの勉強の順序の話) - Lambdaカクテル blog.3qe.us/entry/2019/01/02/1

Web site image
本当に諦めて刺身にタンポポ乗せたほうがよいのか(その1 プログラミングの勉強の順序の話)
07:28:52 orange @orange_in_space@mstdn.nere9.help
2019-01-03 23:47:20 Posting unarist unarist@mstdn.maud.io
icon

This account is not set to public on notestock.