異世界という文字列を見る度に異世界セマフォ書かねばの念がポップアップする

えーまだ書いてないんですかーwww

(しろめ)

もう完全に旬を逃してるんだよなぁ

異世界セマフォ
https://ncode.syosetu.com/n4307ew/

オチだけは決めてあるので、オチを書くと自動で本文を埋めてくれるニューラルネットワークほしい

人間の脳ですね

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

本人が活動していないと仮定するなら、昔 RT した第三者の投稿が削除されたなどが考えられるのでは

XMODIFIERS=@​im=fcitx
GTK_IM_MODULE=fcitx
QT_IM_MODULE=fcitx

すれば普通に動くけど…… (gnome-terminal 特有のバグなら知らん) >fcitx on i3wm

もちろん export してね

ほげー

gnome-terminal 、私が使うのやめたきっかけは、一部フォント (Ricty 含む) が何故か設定画面でのフォント一覧に出てこなくなるという意味不明なバグに遭遇したためなんだけど、あれ案外バグ多かったりするのかな

どういうフォントが出てこないかというと、フォント名が R 周辺で始まるもの全てとか、そんな感じで「名前順でソートしたときの一部連続範囲」みたいなわけわからん一部です

https://mstdn.maud.io/@kb10uy/101676059744694074
これは alacritty が gtk や qt の IM インターフェースを使わず XIM 使ってるせいですねたぶん

これはいい話なんですが、 HiDPI 環境におけるこのウィンドウの位置、ズレます

あれ、今試してみたらズレなくなってるぞ！？

Input method select list position is not correct · Issue #2056 · jwilm/alacritty
https://github.com/jwilm/alacritty/issues/2056

これじゃん！！！

Scale IME position by hidpi_factor. by awused · Pull Request #2065 · jwilm/alacritty
https://github.com/jwilm/alacritty/pull/2065

アプリケーション側を弄らないと無理ですね……

たぶん。

各 distro の mirror とかからソースコード落としてくることができます

各 distro つったけど、基本的にソースコード配布してるような distro って数えるほどしかねえな

あれ、 mlterm って xim と uim を選択できた気がするけど (まあ fcitx はなかったか)

や、軽くググってみたが fcitx 対応あるっぽいぞ

私が mlterm やめた理由、設定ウィンドウが何故か出なくなったからです (/usr/libexec みたいなところのサブディレクトリにバイナリがあるのだが、それを直接叩いても起動しないし、正規の手順でも起動しない)

となると、おま環ではなくバグだったのか……

まあ mlterm は素朴なテキスト形式の設定なので、設定ウィンドウなくても案外どうにかなるといえばなるんですが

https://twitter.com/satoh_fumiyasu/status/449157559354544128

i3wm だとメニューとか一切ないやつの方がいいので alacritty や mlterm は相性が良かった

ambiwidth patches
https://gist.github.com/lo48576/194f05f9266761d6925495237594edbc

CALSのテーブルとオーサリングツール ( ソフトウェア ) - tmakitaのブログ - Yahoo!ブログ
https://blogs.yahoo.co.jp/tnakita/14740203.html

寝てからいよいよ DocBook の table 要素2種 (CALS と HTML) の変換を実装するつもりでいるのだが、セル結合と罫線は絶対鬼門でしょ……考えるだけでつらい

<table>: 表要素 - HTML: HyperText Markup Language | MDN
https://developer.mozilla.org/ja/docs/Web/HTML/Element/table
<td>: 表データセル要素 - HTML: HyperText Markup Language | MDN
https://developer.mozilla.org/ja/docs/Web/HTML/Element/td

そもそも表やセルについて属性でボーダーを指定するの無理そうだし、 CSS への強い依存が不可欠なのでは…… (絶望)

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

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

無駄に検索上位に出てくる i-harness\.com (SO パクり & 質の悪い自動翻訳) は害悪だから速やかにくたばれ

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

https://mstdn.maud.io/@hota/101677026109136968
刀使ノ巫女が好きそうなオタクだ

刀使ノ巫女 (アニメ)、最初の数話は巷にありがちな女の子が何やらバトルするだけのアニメかと思っていたので良い意味で裏切られた、あれは非常に良い作品

2回目で引けた、いつもピックアップは渋い結果しか出てなかったので地味に嬉しい #プリコネR

強い気持ちで狙っているときに限って十数回やっても掠りもしないし、かと思えばジュエルめっちゃあるじゃんと思って雑にﾎﾟﾁｰするといいのが来る、これが話に聞く物欲センサというやつか

とりあえず強化するかと思ったけど、マナが 6M しかない……

刀使ノ巫女、考えれば考えるほどよくできている作品なんだけど、ストーリーについて語るとネタバレ入るので、是非観てくださいとしか

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

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

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

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

他人の挙動のコピーの大きな問題として、明示されない前提条件や発現していない条件分岐がある場合にそれを認知すらできないということで、要するに「何故こんなことになっているかわからないが、こうすることになっている」とか「明らかに不合理だが、こうすることになっている」みたいなクソルールはこうして生まれがち

外延的な挙動を多少集めたくらいでロジックを学べると思っているならそれは大いなる勘違いだし現実のモデル化がおかしい

私だって雑にそれっぽい場合だけいくつか書いたら完璧なテストが実装できるシンポゥな世界に生きたかったよ (適当)

後輩氏が「大抵の人間は『概念』という概念をわかっていない」みたいなことを言っていたのが印象に残っていて、事あるごとにそれなと思わされる

まあ現実が複雑すぎてクソなのは今のところ否定の余地もない事実だし、つらいですねという話には完全に同意

その現実のクソさをどこまで抽象化でシャットアウトして綺麗なレイヤーを上に提供できるかというのが、えんじにゃーとしての腕の見せ所でもあるんだけど

つらい……

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

ｱｯﾄｺーダーやったことない(はず)

怠惰なので競技のために使い捨てのコード書くという気力が湧かない

そもそも頭悪いし運動もできないので対戦競技が好きでないのよな……

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

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

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

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

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

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

Not Safe For World

テロリストか？

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

賢者になって午後の仕事が捗る (適当)

午前捗って午後捗る、大変結構じゃあありませんか

そこかしこに title 要素があるので、 HTML に綺麗に持っていくのが難しいな…… >docbook

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

この言説は嫌いだな

そもそも大学に通うのは社会に出てやっていくためではない (そういう人もいるだろうけど)

それから、人間が社会参画せねばならない (少なくとも労働が現状では義務である) のであれば、むしろ単位を取れない人に大学を卒業させることよりも、社会でやっていけない人をサポートすることこそ本格的に注力すべき。
それが人間を自らの内に引き摺りこもうとする社会の義務とさえいえるのではないか

「俺らに加われよ、これは義務だからな、ただし俺らと一緒にやっていけないやつはクソだ」はあまりに傲慢ではないか。シャカイってそういう面があるけど。

単位が取れるかどうかというのは、授業で教えたことが理解/習得できているかという問題であるべきであって、そこに社会でやっていけるだの何だのという不純物は必要ない。
そういう尺度を入れたいのであれば、それはカリキュラムや講義の目的として個別に設定されるべきであって、単位を取る/取らない論において語られるべきことではない

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

https://mstdn.jp/@k_774/101680187783502420

これはそうだと思うんだけど、じゃあ実際「高度なことを学んだ人材をｼｬｶｲ側では大して活用できないので待遇は変わりません」を実践すると何が起きるかというと、院卒と学部卒の待遇がほとんど変わらないとか、博士を取っても日本では豊かな生活が難しいとか、そういうアレですね

結局どこまで行っても自称 “社会” は経済活動主体たる自分たち自身でしかなくて、文化がどうとか文明がどうとかはほとんど考えてくれないのよね。よくそれで “社会” を自称できるもんだよ

その自称 “社会” の中でも更に不合理な風習やオレオレルールを煮詰めたものを自称 “社会人” として自慢気にあれこれ語るの、見てるこっちが恥ずかしくなってくるので本当にやめてほしい

それが既に起きているのが大学なので

見栄を張って必要もない学位を要求すんなということかね

学位に限らず学歴も

一方で学位や学歴と何とは言わない何らか (察して) にそれなりの相関があろうというのもまた事実であって、まあとにかく面倒な話である

ﾎﾟﾖｸﾞﾔﾐﾝで使う記号に違和感があるとか抜かす輩には APL でも使わせてやればいい (過激派)

私はソースコードを Unicode で書くのには反対だからな

s/Unicode/non-ASCII/

記号は概念を表現するために「割り当て」られたものにすぎないということをわかっていない人、結構いるのでは (概念事案)

+ がいつでも本質的に「足す」ことを意味していると思っている人とか結構いるのではという気がしなくもない

概念と表現の間でレイヤーが分かれていて、その間に人間が恣意的に定めたマッピングが存在するという認識をどうやって得るか

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

フリーランス
フリーソード
フリーシールド
フリーワンド

アクセント記号とか©みたいな記号が入ると、 ambiguous width なのでコンソールがつらくなるし、そういった記号は認めない派閥にいます

中学・高校レベルでも、恒等式としての = 、同じ値としての = 、定義としての = がある、みたいなアレ

言われるとそうなんだけど、自分で気付くのは確かにハードル高そう

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

https://mastodon.cardina1.red/@lo48576/101680307922212756
それぞれ ≡、=、\stackrel{\text{def}}{=} または := 、で使い分けることが多そう (何故か高校ではそこまでしないけど)

ASCII の範囲外にある記号っぽいものはだいたい ambiguous width というくらいの気持ちでいた方が近い (なんならギリシャ文字もアルファベットなのに abmiguous width だし)

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

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

直観が先天的なものであるとは考えるべきでない。直観は訓練することができるものであって、かつ訓練された人間のみにとって直観的であるということは十分にありえるし、それはそれでかなり有用

これ

日本人から見た「記号」は ASCII の全角バージョン以外ほとんど ambiguous width ってことで (雑)

文明の中にいる人に対して、文明という文脈を前提とした「直観」を持っていると仮定するのはそんなにおかしなことではない

それがデジタルデバイスに不慣れなご老人方への製品の売り出し方として適切かは別問題として。

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

そういった場合に本当に必要とされているのは、「直観にマッチしていますよ」という売り出しではなく、「直観がなくても操作できますよ」とか「直観を自然と養えますよ」という売り出しなのよな

https://mstdn.nere9.help/@orange_in_space/101680327344768372
結局これ、「概念と表現の再マッピングを(自然と)できるかどうか」というある種の能力の問題であって、ことﾎﾟﾖｸﾞﾔﾐﾝにおいてそれができない程度の人にどこまでやさしくすべきか、みたいなラインの問題もある (過激派)

無論この能力も後天的に習得できるものなので、そういった能力を養う教育や概念セットが存在することは大いに人々を喜ばせるとは思うけど

ﾎﾟﾖｸﾞﾔﾐﾝの文脈において、大抵の言語はユーザが自然と習熟していくものだし、良い言語であればなおさら習熟した状態で使う時間の方が長いだろうから、よく訓練された人が使いやすいということに重点を置いて設計するのはごく自然に思われる

雑に言ってしまえば、訓練そのものと、訓練された人が使うものは、別々のものにした方がいい場合が結構あるのではみたいなお気持ちです (確信はない)

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

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

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

スイッチ(物理)

そもそも「1」と「0」による表現が文脈みたいなところはある (Intel 発案だっけ？)

01.org | Intel Open Source Technology Center
https://01.org/

Intel 、こんなドメインなども持っており、つよい

なんかどこかでいろいろ聞いた気がするんだけど、ちゃんと思い出せないので 0 と 1 と書いてしまった (O と I と書こうとしたけどそれもまあ微妙なので微妙)

【|と◯】知ってる？ アプリや電機のスイッチと電源ボタンの記号の意味 | アプリオ
https://appllio.com/column/20130619-3756-what-do-ios-ui-switch-and-power-button-mean

switches - What is the origin of on and off power switch symbol? - Electrical Engineering Stack Exchange
https://electronics.stackexchange.com/questions/43279

https://electronics.stackexchange.com/questions/43279#comment87145_43283
> Ok I have make contact with secretary of IEC and he confirm that come from logic 1 and 0.Here is he response "Dear Mr Alfonso, Thank you very much for your mail of 13th Oct. They are believed to standardized from logic 1 and 0. Best regards, Yoshikazu Seki, Secretary of IEC/TC 3/SC 3C"
> – PhoneixS Oct 14 '12 at 10:43

これは初めて聞いた

まあ本当に諸説あるみたいですね

いろいろなデザインを公開する際、由来や rationale を付けると後世の人々が幸せになるということを学んだ

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

https://twitter.com/nullkal/status/1101782239749169152
この「今」が、この投稿をした瞬間を含むか否かの問題がありましてね (適当)

有限の範囲を表明する際、終端については inclusive も exclusive もよく使われるので明示がほしいけど、一般に始端については inclusive であることがほとんどなので、このﾂｲｯﾄについても同様の仮定を置くことができる (超適当)

「今から英語使ったら負けね！ はいスタート！」と同じ問題

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

よく見てほしいのですが、 twitter でも同じ投稿が行われており

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

https://twitter.com/nullkal/status/1101782261198860288
仕事が早い

https://mastodon.cardina1.red/@lo48576/101680444386150444
https://mastodon.cardina1.red/@lo48576/101680459398943543
https://mstdn.nil.nu/@nullkal/101680455192867388

世界で一番笑えるジョークと同じ構図ですね、教養を感じる (適当)

世界で一番笑えるジョーク - Wikipedia
https://ja.wikipedia.org/wiki/%E4%B8%96%E7%95%8C%E3%81%A7%E4%B8%80%E7%95%AA%E7%AC%91%E3%81%88%E3%82%8B%E3%82%B8%E3%83%A7%E3%83%BC%E3%82%AF

> 2人のハンターが木の上にいたところ、一人が木から地面に落ちてしまった。彼は呼吸している様子もなく、白目を剥いていた。もう一人が救急隊に電話をかけてオペレーターにこう言った。『友人が死んでしまった! どうすればいい?』。
>
> オペレーターは落ち着いた声でこう答えた。「大丈夫、私が助けます。まず、彼が本当に死んでるかどうか確かめましょう。（Make sure he is dead）。」
>
> 一瞬の静寂の後、バン！
>
> オペレーターの耳に1発の銃声が響いた。
>
> そしてハンターが言いました。「OK! それから、どうすればいい?」。

ギリシャ文字で書かれても読めるものは読める……

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

Java はいつになったら Second Edition を脱するのか

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

#プリコネR のサウンドトラック発売されたら買うのでずっと待っているのだが、いつになったら出るのだろう (出るよね……？)

アニメ円盤の初回生産限定特典とかだったらマジで泣く

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

これはね、100ガバス賭けてもいいんだけど、ロリコンがょぅι゛ょに TS (変身？)してナニされる作品、探したら絶対あるよ

ほげーーーー

table (db.html.table)
https://tdg.docbook.org/tdg/5.1/html.table.html

HTML model:
* テーブルあたり最大1つの caption
* テーブルあたり最大1つの thead と tfoot 、1つ以上の tbody
* タイトルは無し

table (db.cals.table)
https://tdg.docbook.org/tdg/5.1/cals.table.html

CALS model:
* テーブルあたり最大1つの caption 、最大1つのタイトル
* テーブルあたり1つ以上の tgroup または1つ以上の mediaobject
* tgroup あたり最大1つの thead と tfoot 、1つ以上のtbody

つまり HTML model ではテーブルは
tbody+, thead?, tfoot?, caption?
で表現されるけど、 CALS model では
(mediaobject+ | (tbody+, thead?, tfoot?)+), caption?, title?
で表現される (ヤバ)

これどうやって一貫性持たせながら HTML に落とせばいいの……

問題はいくつかあって、

* caption と title が HTML で区別されない
* HTML では複数の (tbody+, thead?, tfoot?) の組に対して caption を共有しない
* CALS ではひとつのテーブルが複数の (行数の異なる) 表を持てる
* mediaobject をセルに持つ table って何やねん

などです

#docbook むずかしい……

XML ドキュメンテーションのプロおらんか……

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

表というデータ構造の危険性が体験できたわ…… (ほんまか)

人類は未だ文書における「表」という概念を綺麗に定式化できていないということがよくわかった

CALS/EC - Wikipedia
https://ja.wikipedia.org/wiki/CALS/EC
CALS Table Model - Wikipedia
https://en.wikipedia.org/wiki/CALS_Table_Model

CALS table model って何やねんという人もいるだろうけど、米軍が電子データ交換のために考えた仕様なので、そこらのオレオレスキーマとは違うんですよこれが

https://mastodon.cardina1.red/@lo48576/101680673378473006
https://mastodon.cardina1.red/@lo48576/101680680214598729
これ間違ってたわ、 CALS model において tbody は tgroup あたりちょうどひとつやな (もっとややこしくなった……)

養ってくれるお姉さんを探してる場合じゃないんだよ、人類は文書における表の定式化をはやく推進してくれ

HTML model で十分だと思う人は、 <table> 内に <tbody> が複数個入れられる理由とそうすべき場面を当然説明できるものと期待したい

<tbody>: テーブル本体要素 - HTML: HyperText Markup Language | MDN
https://developer.mozilla.org/ja/docs/Web/HTML/Element/tbody

> 連続していれば、1つの表の中に複数の <tbody> を使用することができます。これにより必要に応じて、巨大な表の行を複数のセクションに分割し、個別に整形することができます。

https://developer.mozilla.org/ja/docs/Web/HTML/Element/tbody#Multiple_bodies

なんだかなぁ……

これ、本来は各 <tbody> に対して適切にヘッダやキャプションを表現する手段が与えられるべきなのであって、 <th colspan="?"> で tbody 全体のヘッダとして代用するのは不自然というか、視覚的表現に頼りすぎに見えるんですがどうでしょう

#HTML

HTML もわからない、 DocBook もわからない、何もわからない……

人類、実は何もわからずにドキュメントを書いているか、もしくはドキュメントじゃない何かしか書いたことないのでは……

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

卵焼き、食べてみるまで塩味か甘いかわからないので、シュレディンガーの卵焼き (何でも “シュレディンガーの” を付ければいいと思っている顔)

Ⅰ/A 、誘導に乗らないと穴が埋められないんだけど、誘導に乗るのが Ⅱ/B よりも苦手だったので、私は Ⅱ/B の方がやりやすかったですね

総じて好きに解かせてくれという感じです

Facebook, Solid, and De-centralization - General Discussion - Solid Community Forum
https://forum.solidproject.org/t/facebook-solid-and-de-centralization/1368

#DocBook の spanspec は重複した範囲を指定できそうな雰囲気だけど、 #HTML の colgroup は重複した span を指定できなそうなので、これはどうしたものか

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

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

息抜きの #portal , chamber 15

同じく chamber 15 #portal

解説すると、 chamber 15 で広い観察室に入る方法は複数あるので有名だと思うんですが、この部屋の窓の角あたりに内側→外側で portal がすりぬけるポイントがあるので、いろいろ遊べます #portal

で、この部屋から portal bump で仕掛けをバイパスして次の通路へ行けるのも有名なんですが、この bump と着弾ラグと窓の当たり判定を組み合わせると、こんなことができます (上下に動く床を下げずに向こう側とこちらを繋げられる) #portal

いつか portal の glitch を紹介する VTuber になってやるぞという気持ちがある

#portal

どこまでいけるかな #portal

これうまく fling すればいけそうじゃない！？ #portal

よく考えたら2回目の fling で橙から出ないといけないから青は消すしかないし、越えた時点で両方消えるから何もかも無意味か……

ここまでは来られたんだけど、 fizzler を越える瞬間に portal が消えてしまうので、スタートとゴールを繋ぐのは無理な気がしてきた #portal

リベンジ (駄目元) #portal

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

さてここからどうするか…… #portal

逆向きに考えることにした、こっちから glitch でスタート側に繋ぎたい #portal

ちょっと壁に食い込んで打てる場所はあるけど、この程度じゃキューブとかを送る程度が限界かな…… #portal

OoB 見えてるし、もう少しでいけそうなんだけど…… #portal

#portal

なんとかならないかな…… #portal