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

it's not really fun なのは JSON-LD だよ！！！

あいつマジで許せねえ、みんなは ActivityPub 処理系を実装したくなっても絶対に JSON-LD から作ろうとしない方がいいよ。
I promise

コンセプトレベルで動的型なのは問題の半分でしかなくて、残りの半分の「規格がガバガバすぎてつらい」が本番

AP 自体は JSON-LD 対応を optional なものと位置付けているので、 JSON-LD 対応せず ActivityPub 処理系を実装することはできます

ただし、純 ActivityPub 範囲内でない規格、たとえば signature 系との連携とか Mastodon 独自拡張とか、そういう拡張部分へのサポートには本質的には JSON-LD が必要になる (さもなくば「正しいデータなのに解釈できない可能性がある」みたいなガバ処理系になる) ので、そこを妥協できるかどうかよね

これは手段と目的が逆で、「既存のデータを (context 追加以外に) 極力変更することなく解釈可能にする」というのが JSON-LD の目標なので、既存データが tagged union 風でない以上、 JSON-LD が扱うデータもそうなるわけです

JSON-LD expansion algorithm を使えば、値ごとに @​type として型を表現する URI (またはその配列) が必ず与えられるようになるので、それを使うとあたかも tagged であるかのように読むことはできます

(値が IRI だったら @ type でなく @ id が来るけど、まあどちらにせよ簡単にわかるのでスルー)

json-ld-api/0007-out.jsonld at master · w3c/json-ld-api · GitHub
https://github.com/w3c/json-ld-api/blob/master/tests/expand/0007-out.jsonld

この辺りの *-out.jsonld を cat *-out.json | jq . 的な感じのことをして眺めてみると、イメージは掴みやすい

や、 web の文脈で言えば型は付いてるんですよ。各サイト毎に全部型定義が違うだけで。

全てを RDF で交換できる世界であればそれが良かったかもしれないけど、まあそれは無理な話なので……

自分用 triplestore ほしくない？

#575

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

#575

Problematic/confusing algorithm text re: the handling of URL @​context values · Issue #265 · w3c/json-ld-api
https://github.com/w3c/json-ld-api/issues/265

まだ解決してなかったのか……修論ヤバくなるからと思って実装を放置して正解だった、ここで悩んでても絶対進捗出なかっただろうな

master 追従した

https://www.oracle.com/technetwork/jp/ondemand/database/db-technique/xml-fes-2010-08-254829-ja.pdf

> Editionは誤植やあいまいな記述を修正するもの

XML 1.0 自体には namespace の規定がないので <foo:bar:baz> みたいなのが合法なのもポイントよね (?)

＠IT：XML 1.1を分析する Page1
https://www.atmarkit.co.jp/fxml/tanpatsu/37xml11/xml1101.html

＠IT：XMLにおける「ボヘミアンと貴族の階級闘争」を読み解く
https://www.atmarkit.co.jp/fxml/tanpatsu/24bohem/01.html

この辺りの話を知っていると、ｲﾝﾀｰﾈｯﾂネイティブな文書が必ずしもプロセッサにとってネイティブなデータ構造として表現されるべきかというのは自明ではないよね

簡単に言うと、スキーマによる検証がドキュメントに新しい情報を付加できるべきか否かみたいな話

XMLのバージョンに1.1ではなく1.0を使うべき4の理由 – senooken.jp
https://senooken.jp/post/2015/12/26/

㊰だなぁ

mod 類が wasm で実装される時代になってほしいわね

これはまだ妄想段階なんだけど、 untrusted な wasm コードを実行するための処理系を実装したさがある。
たとえば実行命令数に上限を設定できるようにしたりとか #らりおメモ

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

そういえば普通のゲームはﾕﾆﾃｨとか C# くらいのレイヤーで実装されているのか。勝手に C++ とか Rust レベルを想定してたわ……

C, C++, Rust あたりだと C FFI を用意するのが簡単なので wasm でも普通に動くものは作れそうではある

C++ みたいなのは若干難しいかもしれないけど、 gtk が C で実装されているのを見れば可能であるというのは明白なので、 mod を最初から想定して作ればそうヤバくはなるまいという楽観的思考

ゲームエンジンの上とかでやられると……どうなんだろう。その場合いっそエンジン側のスクリプト言語を叩くみたいなのの方向を考えた方がいいのか？

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

mod を想定したゲーム実装ができるかというのは設計・実装者の技量や初期の想定によるところが大きそうなので、実のところ言語とかはあまり関係なさそう

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

まってもうこんな時間まじ

これはしょーもない話なんですが、アルゴリズムの名前が決まってないので

\section{○○するやつ}

\FIXME[セクション名変更]

\FIXME[書く]

みたいな感じになっており、何もかも駄目

名前がなくとも本文は書ける、それはそうなんだけどどうにもね……

参考文献は .bib を用意するくらいはした

時間を「〇〇まで」とすると半開区間とか最後の1単位みたいな問題が発生するので、「〇〇含めそれ以降の提出は受け付けない」みたいな閉じた区間を後に置く感じにするとわかりやすい

「〇〇以降」は〇〇を含むかどうか曖昧なのでよろしくない

点数を付けるタイプだと指数的に減衰 (0.7^{overdue_hours/24}) みたいなのは結構効く

0.5でも何でもいいけど

ｱｯ

傘忘れた

何をやっても駄目なオタクと化した

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

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

プログラミン | 文部科学省
https://www.mext.go.jp/programin/

即堕ち2コマじゃねえんだから……

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

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

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

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

これ of これ

https://twitter.com/tokoro10g/status/1210048367801204737 #tw

納得してしまった……

まあそれでも手を出す手前の段階として read-only な教材があるのは良いことだとは思う。
数学書とかも読むだけ読んで章末問題飛ばしたりするので (←アカン)

それが避ける理由があるんですよ、メンテできる人間が足りないという理由が

雰囲気を知るだけなら良いのでは

少なくとも「ソートアルゴリズム可視化 (棒が動いて音が鳴るだけ)」みたいな空虚な動画よりは何倍も役に立ちそう

よーするに「厳密なところを理解する」の手前の段階として「こういう思考パターンが存在する」とか「こういう目的を持った思考は正当化される」みたいな思考そのものについての文化みたいなのが存在して、そこを把握してもらえる教材は (たとえコードを書くことに直接貢献せずとも) 教材として価値があろうと思う

逆に、特定のアルゴリズムのように厳密で明確な理屈の存在するものを、 †可視化† みたいなものでふわっと提示したって仕方がない

義務教育は「使える」ようにするものじゃないし、「もっとマトモなものを理解できるような基盤を叩き込む段階」でしょ

小学校程度で何かを「理解できた」と思うなら幻想だし、何かを「使える」というのも副作用程度のものでしかない

小学校さんすう程度では方程式も解けやしないが、方程式を理解するために必要なエッセンスはさんすうレベルの段階で得ておく必要があるし、ﾎﾟﾖｸﾞﾔﾐﾝ教育にも似たような構図はあるだろうと思う

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

それは PRESIDENT より DLsite を探した方がよさそう (類似研究は沢山ある)

義務教育にそこまで望んでないです (人間はそんなにかしこくない)

そりゃ少なくとも専門にするならその基礎とか周辺の領域くらいはちゃんとやってほしいけど……

親が子供に中学高校レベルの勉強を教えられない、人間ってその程度なんですよ

何事も理解あるいは実践できるならそれに越したことはないが、大抵の人間にそれは無理なのでスコープを狭めにとって注力していくしかない

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

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

Girlish Lover が「修羅場」を含んでいることに7年の時を経て今更気付くなどした

erofs.h があると思うと胸熱だな (いやあるのか知らんけど)

なーにがエロFSじゃ、スタジオえっちを信じろ (?)

死刑執行に反応した大使館 twitter アカウントに「おま言う」する遊びが始まろうとしている……

https://twitter.com/ambafrancejp_jp/status/1210080882335178757

テンプレはこちら: https://twitter.com/ambafrancejp_jp/status/943026912468881409

ガバルール作るだけ作っといて都合の良いときだけキツめに運用するの、日本の法律と同じじゃん。日本は Qiita だった

日本にあって Qiita にないもの: 裁判
Qiita にあって日本にないもの: ストック

……とかテキトー言おうとしたけど日本にストックそんなに無いのか知らないので何も言わないことにした

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

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

プログラミング言語の致命的欠点かるたやりたい

「配列が共変」
「Optional が null になる」
「型安全でない」
「未定義動作」

https://twitter.com/Ma__Tsu__Mo/status/1209795172126445568 #tw #これすき

「モナドって何？」「単なる自己関手の圏におけるモノイド対象」

と

「FFⅩⅢってどんな話？」「パルスのファルシのルシがパージでコクーン」

の構文が完全に一致していることに気付いて腑に落ちた

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

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

#ぽぽぽ飯 #rogy1yakudo