00:01:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
00:02:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
> 以上より、消費税が改正され適格請求書が義務づけられて以降は、以下の２つのルールに従って端数処理を行うことになります。
>
> 1. 1つの適格請求書内で端数処理を1回行う
> 2. 税率単位で合計額に対し端数処理を1回行う
ふぬぬｷｬｯｼｭ
00:05:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
> 販売において消費税の端数処理は、「切り捨て」「切り上げ」「四捨五入」のどれを選択しても可。
ふーぬ
00:09:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
00:17:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 00:16:58 Posting もちゃ(あと-13.60Kg)
mot@mastodon.motcha.tech
This account is not set to public on notestock.
00:17:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 00:17:19 Posting 埼玉ギャル（仮）
sota_n@social.mikutter.hachune.net
This account is not set to public on notestock.
03:08:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 02:52:25 Posting Babibubebon
bbbbbon@social.metadata.moe
This account is not set to public on notestock.
03:09:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 02:57:05 Posting Babibubebon
bbbbbon@social.metadata.moe
This account is not set to public on notestock.
03:09:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:00:43 Posting Babibubebon
bbbbbon@social.metadata.moe
This account is not set to public on notestock.
03:09:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:07:47 Posting Babibubebon
bbbbbon@social.metadata.moe
This account is not set to public on notestock.
03:10:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
エロゲとデータ化といえば、声優がｴﾖｹﾞで別名義を使うことが多い現象の扱いとかも LOD になるとかなり幸せになれる類のものだと思っている
03:13:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:14:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
とはいえ、実世界で大規模にやるなら OWL 的なアレ (オントロジー) で処理することになるのだろうなという気持ちもある
03:15:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
同一視とか包含関係、処理系の負担が大きそうだから積極的に使いたい気持ちにならないんだよなぁ。まあ実際極めて有用であるのは間違いないんだけど、処理系に選択の余地がないようではしょうがない……
03:15:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
データとしては連結されているのが望ましいけど公開する場合本人の意向が踏みにじられる可能性がなくはなさそう
03:15:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:17:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
静かでハスキーボイスめのジト目がち妹キャラが好きなので、1024個くらい名義使ってそうな某声優のボイスとかも大好きですよ
03:18:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
%E5%AE%89%E7%8E%96%E6%B7%B1%E9%9F%B3
03:18:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:16:37 Posting Babibubebon
bbbbbon@social.metadata.moe
This account is not set to public on notestock.
03:19:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
やっぱり Linked Data とはいっても、実用的には良質なスキーマを用意するために誰かがイニシアチブを取らないといけないんだろうなぁという諦観というか、むしろ良質なスキーマが力を得てくれという祈りの気持ちがある
03:19:54
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
同一視で繋げられるから質が悪い情報でも構わないというのは、ちょっとね……
03:20:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
思うところはある。まあ実際それはそれで有用なのも間違いないんだけど
03:25:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
エロゲ声優で「長らく(2年〜)別人だと思われていた名義同士が実は同一人物だった」という例はあるんだろうか
03:25:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:26:22
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
実世界のデータ、大抵は閉世界仮説が適用できないのでとにかく扱いが面倒
03:27:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
あと最近の状況だと「VTuber のキャラとしての個性は公式には変化していないが中の人が入れ替わった/増えた」とか、未来を知っている神でもないとうまく扱える DB スキーマ設計とかできないでしょ……
03:29:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
中の人が変わるくらいならアニメとかのキャラクターと声優で例がある (e.g. らき☆すたの泉こなた) けど、まさか増えて複数がほぼ区別されないものとして同時に活動するとは思わないでしょ……
03:29:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:29:55 Posting Nakaya
eniehack@pleroma.eniehack.net
This account is not set to public on notestock.
03:29:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これほんまこれ、 XML と graph DB 系はとにかく Java ばかりだったりして悲しい
03:33:40
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:30:04 Posting Babibubebon
bbbbbon@social.metadata.moe
This account is not set to public on notestock.
03:33:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:34:07 Posting Nakaya
eniehack@pleroma.eniehack.net
This account is not set to public on notestock.
03:36:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ｴﾖｹﾞとかアニメ関係のメタデータ表現の OSS なプロジェクトあったら参加してみたいわね
03:38:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
理屈の上では triplestore 実装は RDB 上にｽｯと乗せられそうなものなんだけどねぇ……
03:38:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:40:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
コンペで特定の名前を勝ち取ることになるが今のところは仮の名前しか持ってない VTuber 候補のそれぞれをどう表現するかみたいな
03:42:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
前提として globally unique な ID がないことには何を表現するにも険しさがなくならないし、そこで IRI を使おうにも SNS のアカウントとかブログとかは簡単に消えるし urn を使おうにもドメインとか持ってる人のほうが少ないし、勝手に UUID 割り当てても共有するには結局オントロジー必要だし、まあいろいろとね……
03:42:14
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:41:39 Posting Babibubebon
bbbbbon@social.metadata.moe
This account is not set to public on notestock.
03:43:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
現代の概念は自動的に URI を得ることが多いので扱いやすいはずという儚い期待は粉々に砕け散るわけです
03:46:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:45:27 Posting Nakaya
eniehack@pleroma.eniehack.net
This account is not set to public on notestock.
03:46:33
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:47:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これはもう完全な偏見なんですが、ああいう草の根生え抜き的な人々の活動でマトモな情報の扱いがされているとは到底思えない (これは任意の界隈について言える)
03:48:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
人々は前に進むことしか考えておらず、人が歩いた跡に石畳を敷き詰めるような人は通常いないし、稀にいたとして普通に労力足りないので無理
03:49:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ後ろを向いて歩けというのもそれはそれで酷というか……難しい話
03:49:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 03:49:01 Posting Babibubebon
bbbbbon@social.metadata.moe
This account is not set to public on notestock.
03:51:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
wiki とか markdown とか、あの辺りはある程度即時性のほしい人間用情報共有などには向いているけど、機械可読性とは対極の存在なので……あれらが流行っている時点で希望などない
03:51:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ボカロ曲網羅するのと Windows のフリーソフト網羅するのけっこういい勝負だと思う
03:52:06
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
数値で一位に個人を特定可能な表現について考えていたが、産まれた時刻と緯度経度とかいうおおよそ正気ではないのを思いついた(しかし snowflake 程度には使えそうではある)
03:52:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:52:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
緯度経度もまあ測量系の変更によって若干変わるか……
03:52:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:52:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:53:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
相対性理論のおかげで全宇宙で通用する絶対的な時空の座標を用意しえないことが示されたはずなので、無理です (極論)
03:56:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
もっと言えば、異なる位置における同時性という概念も意味を持たないので、時空関係の値を ID に使おうとする時点で実はそれなりの無理があります (もちろん精度を下げることで実用的には問題を無視できる文脈もある)
03:57:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
UTC が世界共通に見えるのは人類がそれだけ低い精度で活動しているからにすぎない
03:59:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
19:48:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
尿意を我慢していると寒さを強く感じるようになってくる現象
19:48:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 19:47:09 Posting 無宛＠零月のラウラ良かった……
LwVe9@mstdn.poyo.me
This account is not set to public on notestock.
19:51:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
𓀁（口に手を当てている人。食べる、考える、伝える、助言するなど、様々な意味を持っていたと考えられている）を単語登録した
19:52:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:02:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 20:00:00 Posting Giraffe Beer
giraffe_beer@mstdn.maud.io
This account is not set to public on notestock.
20:03:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
俺ガイルの再放送観てたら原作全部買うか……みたいな気持ちになってしまったのよな
20:26:13
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
企業性の高くないレイヤー画像フォーマット探せばありそうだけどどうなんだろう
20:26:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:26:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「仕様書」が公開されてもなお読み書きが大変なMicrosoft Officeの旧ファイル形式
20:26:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
レイヤーの概念があって特定のアプリケーションの保存形式として作られたわけではない画像形式、TIFFとSVG
20:32:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:48:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
UHK 使ってるプロがいたら聞きたいんですが、 UHK の無刻印キーって外しても位置わかるようになってます？ (たとえば裏側を見ると qwerty での位置が書いてあるとか、一意な番号が振ってあって位置の図表が公開されているとか)
20:49:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
qwerty と dvorak 両方使うので、中二的な意味を置いておくにしても無刻印がかなり現実的にアリな選択肢なので
20:51:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 20:51:19 Posting はる / 小鳥遊 遥
haru2036@mstdn.maud.io
This account is not set to public on notestock.
20:52:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
互換性が気になるならね、 †正しい† デザインで自分達で実装するしかないんですよ
20:52:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:53:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:54:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 20:52:15 Posting はる / 小鳥遊 遥
haru2036@mstdn.maud.io
This account is not set to public on notestock.
20:54:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
仕様が固まるまで待ってたら、いつの間にか後発の方が優れている、あるあるです。
20:55:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 20:37:49 Posting 不良教師はpawooへ移住しました
k_774@mstdn.jp
This account is not set to public on notestock.
20:55:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 20:54:37 Posting 不良教師はpawooへ移住しました
k_774@mstdn.jp
This account is not set to public on notestock.
20:55:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 20:55:11 Posting 不良教師はpawooへ移住しました
k_774@mstdn.jp
This account is not set to public on notestock.
20:57:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
この辺りは一度違法・脱法薬物あたりの蔓延率が教育でどう変化したかちゃんと検証すべきだと思っていて、たとえば教育によって違法薬物がどういったものでどういった経路で伝わってくるのか教えることで状況が悪化したかなどをちゃんと考えるべき
20:58:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
それで教育にポジティブな効果が大きいと認められるのであれば、違法な性産業についても同様の結果を期待できるかもしれない
20:58:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
合法な性産業に配慮しろとかその辺りはまた難しい話なので別の話題としたいところ
20:59:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 20:57:37 Posting 有末有子🈶
arisue_neetsha@pawoo.net
This account is not set to public on notestock.
21:00:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:00:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 21:00:37 Posting 不良教師はpawooへ移住しました
k_774@mstdn.jp
This account is not set to public on notestock.
21:04:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:05:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 21:01:53 Posting はいりふおじさん（LIFT650）
Common_Lisper@mstdn.maud.io
This account is not set to public on notestock.
21:05:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
テキストエディタで画像見るとか何考えてるんですか？？？ テキストエディタはテキストをエディットするものですよ
21:05:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
さておき xkcd は頻出の番号を覚えておくと捗る (ことがある)
21:07:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
303: Compiling
927: Standards
1782: Team Chat
あたりは本当によく使うので
21:07:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
1782 を「よく使う」のは界隈が特殊すぎるか……
21:09:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
普通の水晶だと実際精度はそんなもんなのでいい水晶使うしかないみたいね
21:09:48
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
つよい すいしょう
よわい すいしょう
そんなの ひとの かって
ほんとうに つよい とけいなら
すきな すいしょうで
かてるように ひょうじゅんでんぱをつかうべき
21:10:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:10:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「水晶全体を恒温槽に入れる」というパワーのあるソリューション(OCXO)などがある
21:11:14
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 21:10:24 Posting 8
r8_gre@mstdn.maud.io
This account is not set to public on notestock.
21:11:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 21:11:06 Posting 8
r8_gre@mstdn.maud.io
This account is not set to public on notestock.
21:14:40
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:21:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 21:20:43 Posting はいりふおじさん（LIFT650）
Common_Lisper@mstdn.maud.io
This account is not set to public on notestock.
21:21:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
光は遅い、1ns で約 30cm しか進まないため
21:23:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
スケールアップするとショボく感じる水晶の精度とスケールダウンするとショボく感じる光の速さ、似た何かを感じる
21:26:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 21:25:23 Posting ヒポポタマスジ
Otakyuline@mstdn.maud.io
This account is not set to public on notestock.
21:26:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
非実在創作ヒトガタの性器部分をそのまま印刷することもできない狂った国であるという文脈を踏まえてもう一度どうぞという感じだ……
21:28:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
性関連の規制したがる連中は実在か非実在かとか一切関係ないしどうでもいいと思っているので、 VR や AR も当然規制対象として見ているし、たぶん現行法の範囲で既に十分リスキー
21:28:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:32:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
UHK をﾎﾟﾁｰする覚悟を決めたんだけど、 trackball と trackpoint どちらにしたものか (両方ともちゃんと使ったことがない)
21:33:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 21:32:41 Posting シャポコ🌵🔞
shapoco@pawoo.net
This account is not set to public on notestock.
21:34:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
party cactus だ……
₍₍⁽⁽🌵₎₎⁾⁾ WATER OR DIE ₍₍⁽⁽🌵₎₎⁾⁾
21:37:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「行為・行動の結果」を謂う適当な日本語ないかなと思ったが「甲斐」というのがﾋﾟｯﾀﾘだ
21:37:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:37:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:38:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「自業自得や」を "It's your karma." などと言うらしいです
21:57:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
CFOP 全パターン覚えるやつ、今までの方法がほとんど使えなくなるから気合がいるな
21:57:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:08:45
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Pocket (getpocket.com) 一時期使ってたけど、アプリのビューアの出来栄えがあまり好きではないとか、うまく整理するのが難しいとか、まあいろいろあって結局今は Shaarli 鯖立ててそれ使ってる
22:10:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
リーダーモードにするとコードブロックとかが全て消滅したりするの、流石にやりすぎでしょ……フォントやスタイルを変えるくらいはまだ許せるけど、ブロックまるごと消したり解説に必要な画像を消したりみたいなお節介は勘弁してほしい……
……と思ったけど、記憶が古すぎて定かではないので、もしかするとこれは Pocket ではなく Firefox Android のリーダーモードへの文句だったかもしれない (覚えてない)
22:11:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
でも私がそんな普通のｳｪｯﾋﾞページで reader mode を積極的に使っていたとも思えないので、やっぱり高確率で (firefox でなく) Pocket に問題があったのだろうと思います
22:11:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 22:10:50 Posting Ushitora Anqou
anqou@mstdn.anqou.net
This account is not set to public on notestock.
22:12:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
GNU_PROPRIETARY に空目 (本質的矛盾)
22:32:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:56:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 22:48:49 Posting 身も蓋も404
ahiru@social.mikutter.hachune.net
This account is not set to public on notestock.
22:56:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 22:52:50 Posting 8vit
8vit@gs.yvt.jp
This account is not set to public on notestock.
22:56:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
あひる焼くな的な文脈でいえば Rust のそれはイテレーターベースで各メソッドが別の構造体で包まれたりするので効率は良いほう
22:58:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Rust は基本的に型を消去しない方向でやりがちなのでインライン展開が極端に強力であることが期待できるところに、ある意味では癖があるともいえる
22:58:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
関数を呼んでいるからといって本当に関数を呼んでいるとは思わないことです (???)
22:59:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ大半のﾎﾟﾖｸﾞﾔﾏについて言えば、そんな究極のﾊﾟﾌｮｰﾏﾝｽとか気にしなくてもコンパイラに任せといて、綺麗で error-prone な API の設計に注力した方がいいという感じ
22:59:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Fold<Map<Filter<Iter<...>>>> みたいなね
23:00:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
こういうの理屈の上では生ループ書いてるのと同等くらいのコード吐けるはずだからな (実際 rustc がどこまで頑張るのかは知らないけど)
23:00:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
逆に言うとそのままでは C#の IEnumerable<T> みたいなことはできないということでもある(まあ実際はやはり静的に展開されるのでできるように見える)
23:01:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
C# わからんけど &mut dyn Iterator<Item=T> 自体は Sized なので型消去っぽいことはできるよ
23:01:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
dyn Iterator を直接 self にしようとすると Self: Sized に引っ掛かるけど、 Iterator についていえば
impl<I: Iterator> Iterator for &mut I
があるので実際どうとでもなる
23:02:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
dyn Iterator を直接 self にしようとすると Self: Sized に引っ掛かるけど、 Iterator についていえば
impl<I: Iterator> Iterator for &mut I
があるので実際どうとでもなる
23:02:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
dyn じゃないとできないというポイントを指していました
23:02:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
あとは型に命名する必要がないなら impl Iterator もあるし、正直文脈によるのではとしか
23:02:40
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
23:04:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
C# だと IEnumerable<T> を返すメソッドで source.Where(...) も source.Where.Select(型は同じ) も返せるけど Rust だと Box / collect / either が必要よねみたいな文脈
23:04:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そもそも IEnumerable<T> を返すという時点で Box<dyn Trait> 相当なのではというお気持ちがあるんだけど、実はそうでもなかったりするんですか
23:04:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
この場合は Box<dyn Iterator<Item = T>>
23:06:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
暗黙の型消去とかおよそ初心者向けの機能ではない (適当)
23:06:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-04-27 23:04:45 Posting 8vit
8vit@gs.yvt.jp
This account is not set to public on notestock.
23:06:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
文脈に依存して型が暗黙に変化するの、認知機能も疲弊するし険しい
Posting らりお・ザ・何らかの🈗然㊌ソムリエ(@lo48576@mastodon.cardina1.red)
