00:02:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
00:04:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
literally、少し前に書いたメールかなんかに使った気がする、なんだっけな
12:36:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
LaTeX の siunitx パッケージ知らなかった……数式モードここでつかうのアレだよな,とか思いながら $\mu$s とかしてた……
12:37:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
siunitx、何かに載ってて比較的初期から使っていた
12:46:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
12:55:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:03:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
皆がだん!してるから公式だん!されたあとだと思いこんでいた
13:04:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2017-09-12 11:39:18 大破の投稿
musashino205@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:04:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2017-09-12 11:41:49 大破の投稿
musashino205@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:04:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2017-09-12 11:42:18 大破の投稿
musashino205@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
14:09:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
14:11:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ところでGoogle Playプロテクトって先月下旬ごろから7.1.2で普通に動いてたような
14:14:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ファイルサイズも見覚えあるし完全に無のアップデートっぽいんだよなあっ
14:20:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ただ、先週末のアップデートはadb sideloadでやったので通常の更新ではなかったというのはある
14:25:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2017-09-12 14:23:36 はんぺんの投稿
hnpn914@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
14:28:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
まあ、特定の画面をタップしまくると使えるようになるUSBデバッグとかいう機能を有効にしてパソコンになんか普通じゃないデバイスドライバを入れて更新するような人々にもう一度アップデート通知を飛ばしても全体から見ると大したことないといえる(?)
14:46:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2017-09-12 14:45:02 双馬 凜の投稿
rin_souma@mstdn-workers.com
このアカウントは、notestockで公開設定になっていません。
14:56:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
14:59:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
OSC 2017 Fukuoka参戦チャレンジ失敗しました
15:00:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
というかWebの左下にあるやつKOF以外の全部参戦無理が確定している
15:01:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:02:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
無のアップデートかと思いきやセキュリティパッチレベルが上がっている
15:03:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:05:06
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ビルド番号がOPR6.170623.013からOPR4.170623.006に減って(?)いるのですがこれは一体……?
15:06:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2017-09-12 15:03:34 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:07:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
何はともあれ、セキュリティパッチレベルが上がったので10/5までの心の平穏が得られた
15:10:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:20:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
:don:が詫びFHDを実施した一方で16K対応してるインスタンスが出現するのyabai
15:21:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:21:29
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:22:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:23:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16K無駄論わかるけど、かつてはFHDも贅沢だろという時代もあったわけで
15:25:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:48:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:52:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:55:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
セキュリティパッチだったんじゃなくて、公式には9/5が最初のOreo OTA配信で、手動OTAが8/5だからフルパッケージ取ってこないといけなかったというだけな気がしますね
16:57:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
手元にある8/5のOTAパッケージも988 MiBくらいですね
17:27:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
JPEGで小さくならないからPNGなだけでは(なんかそんな感じの条件分岐でしたよね)
17:28:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
17:29:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
17:32:49
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
226 KiB/sでGitリポジトリがクローンされるのを眺めるお仕事と化してる
17:34:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
17:37:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
17:38:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
JPEGのスクリーンショット(PNG)、PNGという結果
20:14:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:26:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
GNUnited Nations - GNU Project - Free Software Foundation
20:36:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2017-07-24 15:08:12 ウメチャロウの投稿
goodchoice@pawoo.net
このアカウントは、notestockで公開設定になっていません。
20:48:25
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:53:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
(CSS3(正式にはCSS Level 3)はCSS2とそれを補完するモジュール群によって構成されたCSS(つまり今のCSS)を指しており、どのモジュールがLevel 4以降になろうとそれはCSS Level 4を意味しないというのが現在の定義)
21:03:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:04:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Level 4モジュールが入ってもCSS Level 3です
21:06:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
というか今となっては単にCSSと呼んで差し支えない(今のCSS TRがCSS Level 3 SnapshotではなくCSS Snapshotと名付けられているのはそういうこと)
21:09:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:11:49
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
まだ策定の初期段階にあるLevel 3モジュールと安定しているLevel 3モジュールがあり、ブラウザは各自で安定してきたモジュールを実装していき、実装できる程度に安定してきた目安としてCSS Snapshotが発行されているのが現状では
21:19:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
人々が各モジュールをやっていく一方で、核であるCSS2もエラッタを適用したCSS 2.2の発行に向けて人々がやっていっているところです
21:33:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
デレステが最近の更新で7.1.2まで推奨バージョンに追加したことに気づいたのですが、既にそこからこぼれ落ちてしまったのでア
22:40:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2017-09-12 22:04:09 ryanakの投稿
Ryanak@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:41:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
紫苑の書ほどハイペースに言語解明が進まないのがそれはそれで良さがありますね
22:43:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:53:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
『紫苑の書』も『異世界転生したけど日本語が通じなかった』も主人公が言語オタク性を持っているのは共通しているけれど、前者は同居人がすさまじく賢い上に言語習得に徹底的に付き合ってくれた(異世界に来てしばらくの間は同居人が休み期間中だったので付きっきりで教えてくれた)のに対して、後者は言語習得に専念できる環境ではないことも手伝って緩やかなペースで言語の特徴が明らかにされていく
22:53:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
DPT-S1 とその後継の DPT-RP1 は A4 のめっちゃ薄くて軽い E-ink 端末だが価格が 10 万円くらいする。あと jailbreak しないと PDF しか読めない。論文用に欲しい。
22:53:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13 インチクラスの E-ink 端末はほかに Onxy 社の Boox がある。
22:53:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
論文とか仕様書読むのにはめっちゃ使えるし PDF にメモを書き込んだりノート取るのも紙と遜色ない感じらしいので,学生や先生向けという感じもする。事実生協で取り扱う大学を知ってる(生協に広告貼ってあった
22:53:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
そもそも Boox はドマイナーな中国ベンチャーので一般に知られてないので,論文とか読むのに最適な A4 E-ink 端末が他にない(もっというと経費や研究費で購入しやすいものって考えるとソニーのしか選択肢がない)
22:54:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Boox にしても 8~9 万円はするのでそもそもデカいサイズの E-ink ディスプレイがコモディティ化してないのがダメ。もっとみんな E-ink つかってほしい。
22:55:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
この手の状況で主人公が言語オタクでなかった場合の物語を書くのかなり厳しそう
22:55:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:56:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:00:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
お助け妖精的なものとかいないとすぐにゲームオーバーになりそう(インド先輩はそれに近いところがある)
23:05:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:09:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:12:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:14:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
そうした世界の「魔法」を魔法と呼ぶのはキリスト教の神を神と翻訳するのは適切だったのか問題に近いものがある
23:15:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:17:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
「進化論的に新しい人類」部分を満たしているか微妙な点以外はおおむねそんな感じですね
23:20:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:25:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ハードSF、SFのサーベイと科学のサーベイ両方必要そう
23:28:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
『法の書』、別に魔法の呪文の本ではないっぽいですしね(この発言は例の注記に反するかもしれない)
23:31:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ハードSFではなくハードなSFと書いていたので気にしていなかった
23:33:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:33:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
JavaじゃなくてSchemeなやつとかありませんか(??)
23:36:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
CoC、コンピュータ業界ではCode of ConductやCalculus of Constructions、Convention over Configurationなどがある
23:38:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
(元々の)CoCとクトゥルフ神話は『涼宮ハルヒの憂鬱』と涼宮ハルヒシリーズみたいな感じですね(?)
23:41:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ただ、日本で今CoCといったら小説ではなくTRPGなので涼宮ハルヒの激動と涼宮ハルヒシリーズみたいなたとえになりさっぱりわからなくなる
23:42:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:43:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:47:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
水素水はSFじゃないと思うけど水素水ネタでSFは書けると思う
23:53:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:54:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
雑にいうと作品A、B、C、…をまとめてXと呼んでいて、Xの設定を元にしたゲームをAと名付けたという話です
23:56:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:59:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
おるみんさん、今月まだ半分も過ぎてないのにもうバッファ使い切ったんですか……?
23:59:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io