00:01:23 @lo48576@mastodon.cardina1.red
icon

消費税の端数処理は切り捨て?切り上げ?消費税改正後の対応とは
obc.co.jp/360/list/post74

ぐぬぬキャッシュでこれの問題にブチ当たったのでちょっと調べている

Web site image
消費税の端数処理は切り捨て?切り上げ?消費税改正後の対応とは
00:02:52 @lo48576@mastodon.cardina1.red
icon

> 以上より、消費税が改正され適格請求書が義務づけられて以降は、以下の2つのルールに従って端数処理を行うことになります。
>
> 1. 1つの適格請求書内で端数処理を1回行う
> 2. 税率単位で合計額に対し端数処理を1回行う

ふぬぬキャッシュ

00:05:01 @lo48576@mastodon.cardina1.red
icon

> 販売において消費税の端数処理は、「切り捨て」「切り上げ」「四捨五入」のどれを選択しても可。

ふーぬ

00:09:11 @lo48576@mastodon.cardina1.red
icon

よくある相談 : 消費税価格転嫁等対策 - 内閣府
cao.go.jp/tenkataisaku/yokuaru

> 各事業者における販売価格の設定方法や価格表示の方法、レジにおける精算方法については、取扱商品や提供するサービスの性質、取引慣行などを踏まえ、各事業者の判断に委ねられているところです。

つまり場合によるから帳簿では苦労しろということですね、はい

00:17:42 @lo48576@mastodon.cardina1.red
2020-04-27 00:16:58 もちゃ(あと-18.60Kg)の投稿 mot@mastodon.motcha.tech
icon

このアカウントは、notestockで公開設定になっていません。

00:17:42 @lo48576@mastodon.cardina1.red
2020-04-27 00:17:19 めざせ引越しくんの投稿 sota_n@social.mikutter.hachune.net
icon

このアカウントは、notestockで公開設定になっていません。

03:08:53 @lo48576@mastodon.cardina1.red
2020-04-27 02:52:25 Babibubebonの投稿 bbbbbon@social.metadata.moe
icon

このアカウントは、notestockで公開設定になっていません。

03:09:04 @lo48576@mastodon.cardina1.red
2020-04-27 02:57:05 Babibubebonの投稿 bbbbbon@social.metadata.moe
icon

このアカウントは、notestockで公開設定になっていません。

03:09:11 @lo48576@mastodon.cardina1.red
2020-04-27 03:00:43 Babibubebonの投稿 bbbbbon@social.metadata.moe
icon

このアカウントは、notestockで公開設定になっていません。

03:09:17 @lo48576@mastodon.cardina1.red
2020-04-27 03:07:47 Babibubebonの投稿 bbbbbon@social.metadata.moe
icon

このアカウントは、notestockで公開設定になっていません。

03:10:26 @lo48576@mastodon.cardina1.red
icon

エロゲとデータ化といえば、声優がエヨゲで別名義を使うことが多い現象の扱いとかも LOD になるとかなり幸せになれる類のものだと思っている

03:13:05 @lo48576@mastodon.cardina1.red
icon

RDB がお好き? けっこう。ではこの話は終了になりますよ。 - 何とは言わない天然水飲みたさ
blog.cardina1.red/2019/12/15/y

名義問題についてはローカルの DB でも考えたことがあって、そのときは別名義やキャラクターボイスとしての出演を membership として扱うことにした。
たとえば 名義 foo (実際は bar) だと foo が bar グループに所属している扱いとし、 ほげ (CV. ふが) であれば「ほげ (CV. ふが)」が「ふが」に所属しているとする

Web site image
RDB がお好き? けっこう。ではこの話は終了になりますよ。
03:14:27 @lo48576@mastodon.cardina1.red
icon

とはいえ、実世界で大規模にやるなら OWL 的なアレ (オントロジー) で処理することになるのだろうなという気持ちもある

03:15:23 @lo48576@mastodon.cardina1.red
icon

同一視とか包含関係、処理系の負担が大きそうだから積極的に使いたい気持ちにならないんだよなぁ。まあ実際極めて有用であるのは間違いないんだけど、処理系に選択の余地がないようではしょうがない……

03:15:31 @lo48576@mastodon.cardina1.red
2020-04-27 03:14:52 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

データとしては連結されているのが望ましいけど公開する場合本人の意向が踏みにじられる可能性がなくはなさそう

03:15:37 @lo48576@mastodon.cardina1.red
icon

この辺りの問題もある

03:17:12 @lo48576@mastodon.cardina1.red
icon

静かでハスキーボイスめのジト目がち妹キャラが好きなので、1024個くらい名義使ってそうな某声優のボイスとかも大好きですよ

03:18:07 @lo48576@mastodon.cardina1.red
03:18:30 @lo48576@mastodon.cardina1.red
2020-04-27 03:16:37 Babibubebonの投稿 bbbbbon@social.metadata.moe
icon

このアカウントは、notestockで公開設定になっていません。

03:19:27 @lo48576@mastodon.cardina1.red
icon

やっぱり Linked Data とはいっても、実用的には良質なスキーマを用意するために誰かがイニシアチブを取らないといけないんだろうなぁという諦観というか、むしろ良質なスキーマが力を得てくれという祈りの気持ちがある

03:19:54 @lo48576@mastodon.cardina1.red
icon

同一視で繋げられるから質が悪い情報でも構わないというのは、ちょっとね……

03:20:23 @lo48576@mastodon.cardina1.red
icon

思うところはある。まあ実際それはそれで有用なのも間違いないんだけど

03:25:43 @lo48576@mastodon.cardina1.red
2020-04-27 03:21:52 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

エロゲ声優で「長らく(2年〜)別人だと思われていた名義同士が実は同一人物だった」という例はあるんだろうか

03:25:50 @lo48576@mastodon.cardina1.red
icon

これありそうだよな……

03:26:22 @lo48576@mastodon.cardina1.red
icon

実世界のデータ、大抵は閉世界仮説が適用できないのでとにかく扱いが面倒

03:27:37 @lo48576@mastodon.cardina1.red
icon

あと最近の状況だと「VTuber のキャラとしての個性は公式には変化していないが中の人が入れ替わった/増えた」とか、未来を知っている神でもないとうまく扱える DB スキーマ設計とかできないでしょ……

03:29:10 @lo48576@mastodon.cardina1.red
icon

中の人が変わるくらいならアニメとかのキャラクターと声優で例がある (e.g. らき☆すたの泉こなた) けど、まさか増えて複数がほぼ区別されないものとして同時に活動するとは思わないでしょ……

03:29:27 @lo48576@mastodon.cardina1.red
2020-04-27 03:29:55 Nakayaの投稿 eniehack@pleroma.eniehack.net
icon

このアカウントは、notestockで公開設定になっていません。

03:29:53 @lo48576@mastodon.cardina1.red
icon

これほんまこれ、 XML と graph DB 系はとにかく Java ばかりだったりして悲しい

03:33:40 @lo48576@mastodon.cardina1.red
2020-04-27 03:30:04 Babibubebonの投稿 bbbbbon@social.metadata.moe
icon

このアカウントは、notestockで公開設定になっていません。

03:33:49 @lo48576@mastodon.cardina1.red
2020-04-27 03:34:07 Nakayaの投稿 eniehack@pleroma.eniehack.net
icon

このアカウントは、notestockで公開設定になっていません。

03:36:05 @lo48576@mastodon.cardina1.red
icon

エヨゲとかアニメ関係のメタデータ表現の OSS なプロジェクトあったら参加してみたいわね

03:38:01 @lo48576@mastodon.cardina1.red
icon

理屈の上では triplestore 実装は RDB 上にスッと乗せられそうなものなんだけどねぇ……

03:38:36 @lo48576@mastodon.cardina1.red
icon

RDF の仕様が重いというのはある……

03:40:07 @lo48576@mastodon.cardina1.red
icon

コンペで特定の名前を勝ち取ることになるが今のところは仮の名前しか持ってない VTuber 候補のそれぞれをどう表現するかみたいな

03:42:02 @lo48576@mastodon.cardina1.red
icon

前提として globally unique な ID がないことには何を表現するにも険しさがなくならないし、そこで IRI を使おうにも SNS のアカウントとかブログとかは簡単に消えるし urn を使おうにもドメインとか持ってる人のほうが少ないし、勝手に UUID 割り当てても共有するには結局オントロジー必要だし、まあいろいろとね……

03:42:14 @lo48576@mastodon.cardina1.red
2020-04-27 03:41:39 Babibubebonの投稿 bbbbbon@social.metadata.moe
icon

このアカウントは、notestockで公開設定になっていません。

03:43:15 @lo48576@mastodon.cardina1.red
icon

現代の概念は自動的に URI を得ることが多いので扱いやすいはずという儚い期待は粉々に砕け散るわけです

03:46:30 @lo48576@mastodon.cardina1.red
2020-04-27 03:45:27 Nakayaの投稿 eniehack@pleroma.eniehack.net
icon

このアカウントは、notestockで公開設定になっていません。

03:46:33 @lo48576@mastodon.cardina1.red
icon

なさそう……

03:47:23 @lo48576@mastodon.cardina1.red
icon

これはもう完全な偏見なんですが、ああいう草の根生え抜き的な人々の活動でマトモな情報の扱いがされているとは到底思えない (これは任意の界隈について言える)

03:48:41 @lo48576@mastodon.cardina1.red
icon

人々は前に進むことしか考えておらず、人が歩いた跡に石畳を敷き詰めるような人は通常いないし、稀にいたとして普通に労力足りないので無理

03:49:32 @lo48576@mastodon.cardina1.red
icon

まあ後ろを向いて歩けというのもそれはそれで酷というか……難しい話

03:49:42 @lo48576@mastodon.cardina1.red
2020-04-27 03:49:01 Babibubebonの投稿 bbbbbon@social.metadata.moe
icon

このアカウントは、notestockで公開設定になっていません。

03:51:09 @lo48576@mastodon.cardina1.red
icon

wiki とか markdown とか、あの辺りはある程度即時性のほしい人間用情報共有などには向いているけど、機械可読性とは対極の存在なので……あれらが流行っている時点で希望などない

03:51:27 @lo48576@mastodon.cardina1.red
2020-04-27 03:50:36 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

ボカロ曲網羅するのと Windows のフリーソフト網羅するのけっこういい勝負だと思う

03:52:06 @lo48576@mastodon.cardina1.red
2020-04-27 03:46:15 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

数値で一位に個人を特定可能な表現について考えていたが、産まれた時刻と緯度経度とかいうおおよそ正気ではないのを思いついた(しかし snowflake 程度には使えそうではある)

03:52:08 @lo48576@mastodon.cardina1.red
2020-04-27 03:48:51 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

不変性にわずかに難がありそう

03:52:10 @lo48576@mastodon.cardina1.red
2020-04-27 03:49:17 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

緯度経度もまあ測量系の変更によって若干変わるか……

03:52:11 @lo48576@mastodon.cardina1.red
2020-04-27 03:51:28 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

同じ分娩台ではさすがに同時には生まれないでしょう

03:52:16 @lo48576@mastodon.cardina1.red
icon

いい話をするか

03:53:52 @lo48576@mastodon.cardina1.red
icon

相対性理論のおかげで全宇宙で通用する絶対的な時空の座標を用意しえないことが示されたはずなので、無理です (極論)

03:56:07 @lo48576@mastodon.cardina1.red
icon

もっと言えば、異なる位置における同時性という概念も意味を持たないので、時空関係の値を ID に使おうとする時点で実はそれなりの無理があります (もちろん精度を下げることで実用的には問題を無視できる文脈もある)

03:57:42 @lo48576@mastodon.cardina1.red
icon

UTC が世界共通に見えるのは人類がそれだけ低い精度で活動しているからにすぎない

03:59:17 @lo48576@mastodon.cardina1.red
icon

NeruPointerException

19:48:09 @lo48576@mastodon.cardina1.red
icon

尿意を我慢していると寒さを強く感じるようになってくる現象

19:48:32 @lo48576@mastodon.cardina1.red
2020-04-27 19:47:09 無宛@零月のラウラ良かった……の投稿 LwVe9@mstdn.poyo.me
icon

このアカウントは、notestockで公開設定になっていません。

19:51:29 @lo48576@mastodon.cardina1.red
2020-04-27 19:50:33 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

𓀁(口に手を当てている人。食べる、考える、伝える、助言するなど、様々な意味を持っていたと考えられている)を単語登録した

19:52:02 @lo48576@mastodon.cardina1.red
icon

mstdn.maud.io/@omasanori/10407

「𓀁(口に手を当てている人。食べる、考える、伝える、助言するなど、様々な意味を持っていたと考えられている)」

を単語登録したのかと思った (煽り気味リアクション用)

Web site image
Masanori Ogino 𓀁 (@omasanori@mstdn.maud.io)
20:02:59 @lo48576@mastodon.cardina1.red
2020-04-27 20:00:00 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

20:03:51 @lo48576@mastodon.cardina1.red
icon

俺ガイルの再放送観てたら原作全部買うか……みたいな気持ちになってしまったのよな

20:26:13 @lo48576@mastodon.cardina1.red
2020-04-27 20:24:09 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

企業性の高くないレイヤー画像フォーマット探せばありそうだけどどうなんだろう

20:26:16 @lo48576@mastodon.cardina1.red
icon

XCF とか?

20:26:37 @lo48576@mastodon.cardina1.red
2020-04-27 20:22:52 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

「仕様書」が公開されてもなお読み書きが大変なMicrosoft Officeの旧ファイル形式

20:26:53 @lo48576@mastodon.cardina1.red
2020-04-27 20:26:45 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

レイヤーの概念があって特定のアプリケーションの保存形式として作られたわけではない画像形式、TIFFとSVG

20:32:07 @lo48576@mastodon.cardina1.red
2020-04-27 20:31:36 ぴけ@Skeb募集中!の投稿 pikepikeid@mstdn.maud.io
icon

VRCカメラ誤爆集

Attach image
Attach image
Attach image
Attach image
20:48:43 @lo48576@mastodon.cardina1.red
icon

UHK 使ってるプロがいたら聞きたいんですが、 UHK の無刻印キーって外しても位置わかるようになってます? (たとえば裏側を見ると qwerty での位置が書いてあるとか、一意な番号が振ってあって位置の図表が公開されているとか)

20:49:18 @lo48576@mastodon.cardina1.red
icon

qwerty と dvorak 両方使うので、中二的な意味を置いておくにしても無刻印がかなり現実的にアリな選択肢なので

20:51:58 @lo48576@mastodon.cardina1.red
2020-04-27 20:51:19 はるの投稿 haru2036@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

20:52:17 @lo48576@mastodon.cardina1.red
icon

互換性が気になるならね、 †正しい† デザインで自分達で実装するしかないんですよ

20:52:23 @lo48576@mastodon.cardina1.red
icon

xkcd#927

20:53:31 @lo48576@mastodon.cardina1.red
icon

Attach image
20:54:08 @lo48576@mastodon.cardina1.red
2020-04-27 20:52:15 はるの投稿 haru2036@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

20:54:10 @lo48576@mastodon.cardina1.red
2020-04-27 20:53:48 おさの投稿 osapon@mstdn.nere9.help
icon

仕様が固まるまで待ってたら、いつの間にか後発の方が優れている、あるあるです。

20:55:50 @lo48576@mastodon.cardina1.red
2020-04-27 20:37:49 不良教師はpawooへ移住しましたの投稿 k_774@mstdn.jp
icon

このアカウントは、notestockで公開設定になっていません。

20:55:51 @lo48576@mastodon.cardina1.red
2020-04-27 20:54:37 不良教師はpawooへ移住しましたの投稿 k_774@mstdn.jp
icon

このアカウントは、notestockで公開設定になっていません。

20:55:53 @lo48576@mastodon.cardina1.red
2020-04-27 20:55:11 不良教師はpawooへ移住しましたの投稿 k_774@mstdn.jp
icon

このアカウントは、notestockで公開設定になっていません。

20:57:18 @lo48576@mastodon.cardina1.red
icon

この辺りは一度違法・脱法薬物あたりの蔓延率が教育でどう変化したかちゃんと検証すべきだと思っていて、たとえば教育によって違法薬物がどういったものでどういった経路で伝わってくるのか教えることで状況が悪化したかなどをちゃんと考えるべき

20:58:24 @lo48576@mastodon.cardina1.red
icon

それで教育にポジティブな効果が大きいと認められるのであれば、違法な性産業についても同様の結果を期待できるかもしれない

20:58:52 @lo48576@mastodon.cardina1.red
icon

合法な性産業に配慮しろとかその辺りはまた難しい話なので別の話題としたいところ

20:59:46 @lo48576@mastodon.cardina1.red
2020-04-27 20:57:37 有末有子🈶の投稿 arisue_neetsha@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

21:00:42 @lo48576@mastodon.cardina1.red
icon

pawoo.net/@arisue_neetsha/1040

これ不自然でも何でもなくて、電波でこまめに補正できることを前提に組む時計であれば通常のクォーツ時計より精度が低くてもおおよそ問題なかろうというのは自然な発想だし、これを電波の届きづらい場所に置けば言うまでもないが精度は下がる

Web site image
有末有子🈶 (@arisue_neetsha@pawoo.net)
21:00:51 @lo48576@mastodon.cardina1.red
2020-04-27 21:00:37 不良教師はpawooへ移住しましたの投稿 k_774@mstdn.jp
icon

このアカウントは、notestockで公開設定になっていません。

21:04:56 @lo48576@mastodon.cardina1.red
icon

ゲーム依存条例の成立過程に問題 香川県議有志、調査委設置求める | 共同通信
this.kiji.is/62743052041873110

21:05:09 @lo48576@mastodon.cardina1.red
2020-04-27 21:01:53 TGMのサントラ販売中の投稿 Common_Lisper@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

21:05:34 @lo48576@mastodon.cardina1.red
icon

テキストエディタで画像見るとか何考えてるんですか??? テキストエディタはテキストをエディットするものですよ

21:05:51 @lo48576@mastodon.cardina1.red
icon

さておき xkcd は頻出の番号を覚えておくと捗る (ことがある)

21:07:12 @lo48576@mastodon.cardina1.red
icon

303: Compiling
927: Standards
1782: Team Chat

あたりは本当によく使うので

21:07:42 @lo48576@mastodon.cardina1.red
icon

1782 を「よく使う」のは界隈が特殊すぎるか……

21:09:02 @lo48576@mastodon.cardina1.red
2020-04-27 21:08:10 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

普通の水晶だと実際精度はそんなもんなのでいい水晶使うしかないみたいね

21:09:48 @lo48576@mastodon.cardina1.red
icon

つよい すいしょう
よわい すいしょう
そんなの ひとの かって
ほんとうに つよい とけいなら
すきな すいしょうで
かてるように ひょうじゅんでんぱをつかうべき

21:10:08 @lo48576@mastodon.cardina1.red
2020-04-27 21:09:36 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

やっぱ温度ファクターがでかいっぽいな

21:10:11 @lo48576@mastodon.cardina1.red
2020-04-27 21:09:53 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

「水晶全体を恒温槽に入れる」というパワーのあるソリューション(OCXO)などがある

21:11:14 @lo48576@mastodon.cardina1.red
2020-04-27 21:10:24 routehachi_0の投稿 r8_gre@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

21:11:15 @lo48576@mastodon.cardina1.red
2020-04-27 21:11:06 routehachi_0の投稿 r8_gre@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

21:14:40 @lo48576@mastodon.cardina1.red
icon

Layout and keycaps – Ultimate Hacking Keyboard
ultimatehackingkeyboard.com/la

どうとでもなりそうだな

21:21:46 @lo48576@mastodon.cardina1.red
2020-04-27 21:20:43 TGMのサントラ販売中の投稿 Common_Lisper@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

21:21:50 @lo48576@mastodon.cardina1.red
2020-04-27 21:21:37 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

光は遅い、1ns で約 30cm しか進まないため

21:23:59 @lo48576@mastodon.cardina1.red
2020-04-27 21:23:41 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

スケールアップするとショボく感じる水晶の精度とスケールダウンするとショボく感じる光の速さ、似た何かを感じる

21:26:10 @lo48576@mastodon.cardina1.red
2020-04-27 21:25:23 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

21:26:57 @lo48576@mastodon.cardina1.red
icon

非実在創作ヒトガタの性器部分をそのまま印刷することもできない狂った国であるという文脈を踏まえてもう一度どうぞという感じだ……

21:28:10 @lo48576@mastodon.cardina1.red
icon

性関連の規制したがる連中は実在か非実在かとか一切関係ないしどうでもいいと思っているので、 VR や AR も当然規制対象として見ているし、たぶん現行法の範囲で既に十分リスキー

21:28:21 @lo48576@mastodon.cardina1.red
icon

つらいなぁ……

21:32:27 @lo48576@mastodon.cardina1.red
icon

UHK をポチーする覚悟を決めたんだけど、 trackball と trackpoint どちらにしたものか (両方ともちゃんと使ったことがない)

21:33:30 @lo48576@mastodon.cardina1.red
2020-04-27 21:32:41 シャポコ🌵🔞の投稿 shapoco@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

21:34:00 @lo48576@mastodon.cardina1.red
icon

party cactus だ……

₍₍⁽⁽🌵₎₎⁾⁾ WATER OR DIE ₍₍⁽⁽🌵₎₎⁾⁾

21:37:00 @lo48576@mastodon.cardina1.red
2020-04-27 21:35:26 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

「行為・行動の結果」を謂う適当な日本語ないかなと思ったが「甲斐」というのがピッタリだ

21:37:12 @lo48576@mastodon.cardina1.red
icon

カルマじゃん

21:37:29 @lo48576@mastodon.cardina1.red
icon

karmaの意味・使い方・読み方 | Weblio英和辞書
ejje.weblio.jp/content/karma

Web site image
karma - Weblio 英和・和英辞典
21:38:46 @lo48576@mastodon.cardina1.red
icon

「自業自得や」を "It's your karma." などと言うらしいです

21:57:44 @lo48576@mastodon.cardina1.red
2020-04-27 21:51:25 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

CFOP 全パターン覚えるやつ、今までの方法がほとんど使えなくなるから気合がいるな

21:57:46 @lo48576@mastodon.cardina1.red
2020-04-27 21:57:05 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

解法「CFOP」とは? | Cube Voyage cubevoyage.net/how-to-solve/ad

知らなかった

22:08:45 @lo48576@mastodon.cardina1.red
icon

Pocket (getpocket.com) 一時期使ってたけど、アプリのビューアの出来栄えがあまり好きではないとか、うまく整理するのが難しいとか、まあいろいろあって結局今は Shaarli 鯖立ててそれ使ってる

22:10:24 @lo48576@mastodon.cardina1.red
icon

リーダーモードにするとコードブロックとかが全て消滅したりするの、流石にやりすぎでしょ……フォントやスタイルを変えるくらいはまだ許せるけど、ブロックまるごと消したり解説に必要な画像を消したりみたいなお節介は勘弁してほしい……

……と思ったけど、記憶が古すぎて定かではないので、もしかするとこれは Pocket ではなく Firefox Android のリーダーモードへの文句だったかもしれない (覚えてない)

22:11:08 @lo48576@mastodon.cardina1.red
icon

でも私がそんな普通のウェッビページで reader mode を積極的に使っていたとも思えないので、やっぱり高確率で (firefox でなく) Pocket に問題があったのだろうと思います

22:11:51 @lo48576@mastodon.cardina1.red
2020-04-27 22:10:50 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

このアカウントは、notestockで公開設定になっていません。

22:12:04 @lo48576@mastodon.cardina1.red
icon

GNU_PROPRIETARY に空目 (本質的矛盾)

22:32:07 @lo48576@mastodon.cardina1.red
icon

オラッ!

Attach image
22:56:43 @lo48576@mastodon.cardina1.red
2020-04-27 22:48:49 やひるの投稿 ahiru@social.mikutter.hachune.net
icon

このアカウントは、notestockで公開設定になっていません。

22:56:44 @lo48576@mastodon.cardina1.red
2020-04-27 22:52:50 Yavit :verified:の投稿 8vit@gs.yvt.jp
icon

このアカウントは、notestockで公開設定になっていません。

22:56:59 @lo48576@mastodon.cardina1.red
2020-04-27 22:56:16 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

あひる焼くな的な文脈でいえば Rust のそれはイテレーターベースで各メソッドが別の構造体で包まれたりするので効率は良いほう

22:58:04 @lo48576@mastodon.cardina1.red
icon

Rust は基本的に型を消去しない方向でやりがちなのでインライン展開が極端に強力であることが期待できるところに、ある意味では癖があるともいえる

22:58:23 @lo48576@mastodon.cardina1.red
icon

関数を呼んでいるからといって本当に関数を呼んでいるとは思わないことです (???)

22:59:30 @lo48576@mastodon.cardina1.red
icon

まあ大半のポヨグヤマについて言えば、そんな究極のパフョーマンスとか気にしなくてもコンパイラに任せといて、綺麗で error-prone な API の設計に注力した方がいいという感じ

22:59:46 @lo48576@mastodon.cardina1.red
2020-04-27 22:58:53 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

Fold<Map<Filter<Iter<...>>>> みたいなね

23:00:17 @lo48576@mastodon.cardina1.red
icon

こういうの理屈の上では生ループ書いてるのと同等くらいのコード吐けるはずだからな (実際 rustc がどこまで頑張るのかは知らないけど)

23:00:27 @lo48576@mastodon.cardina1.red
2020-04-27 22:59:52 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

逆に言うとそのままでは C#の IEnumerable<T> みたいなことはできないということでもある(まあ実際はやはり静的に展開されるのでできるように見える)

23:01:04 @lo48576@mastodon.cardina1.red
icon

C# わからんけど &mut dyn Iterator<Item=T> 自体は Sized なので型消去っぽいことはできるよ

23:01:57 @lo48576@mastodon.cardina1.red
icon

dyn Iterator を直接 self にしようとすると Self: Sized に引っ掛かるけど、 Iterator についていえば
impl<I: Iterator> Iterator for &mut I
があるので実際どうとでもなる

23:02:08 @lo48576@mastodon.cardina1.red
2020-04-27 23:01:57 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

dyn Iterator を直接 self にしようとすると Self: Sized に引っ掛かるけど、 Iterator についていえば
impl<I: Iterator> Iterator for &mut I
があるので実際どうとでもなる

23:02:10 @lo48576@mastodon.cardina1.red
2020-04-27 23:01:41 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

dyn じゃないとできないというポイントを指していました

23:02:26 @lo48576@mastodon.cardina1.red
icon

あとは型に命名する必要がないなら impl Iterator もあるし、正直文脈によるのではとしか

23:02:40 @lo48576@mastodon.cardina1.red
icon

まあ C# わからんが

23:04:18 @lo48576@mastodon.cardina1.red
2020-04-27 23:04:01 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

C# だと IEnumerable<T> を返すメソッドで source.Where(...) も source.Where.Select(型は同じ) も返せるけど Rust だと Box / collect / either が必要よねみたいな文脈

23:04:42 @lo48576@mastodon.cardina1.red
icon

そもそも IEnumerable<T> を返すという時点で Box<dyn Trait> 相当なのではというお気持ちがあるんだけど、実はそうでもなかったりするんですか

23:04:58 @lo48576@mastodon.cardina1.red
icon

この場合は Box<dyn Iterator<Item = T>>

23:06:02 @lo48576@mastodon.cardina1.red
icon

暗黙の型消去とかおよそ初心者向けの機能ではない (適当)

23:06:12 @lo48576@mastodon.cardina1.red
2020-04-27 23:04:45 Yavit :verified:の投稿 8vit@gs.yvt.jp
icon

このアカウントは、notestockで公開設定になっていません。

23:06:55 @lo48576@mastodon.cardina1.red
icon

文脈に依存して型が暗黙に変化するの、認知機能も疲弊するし険しい