完全に考えが甘かったんだけど、これ OoB が見えたところで駐車場の透明な壁を貫通できないから結局外には出られそうにないわ……やっぱり屋根よりも地面を掘った方が良さそう？ #portal

どう頑張っても駐車場から脱出できる気がしなくて泣いてる #portal

Portal のプロおらんか

また portal のおもしろルートみつけた (inbound)

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

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

fcitk の issue が中国語だったり面白そうなライブラリの README がロシア語だったりした経験から学んだので、基本的に英語を使うようにしている

escape 02 の turret が沢山でてくるところを inbound で安全にスキップする方法です #portal

今日も新規性のありそうな研究成果が出たので風呂入って寝ます

Portal たのしい✌✌✌('ω')✌✌✌

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

今回は表の世界だけでやりましたよ！
ちょっとギミックをスキップして透明な面に portal 撃ったりしたけど

一応解説しておくと、

* 上の床とかでアクションをしなければ turret の壁が開いたり動いたりしない
* 壁が動く前から斜めの壁の位置には当たり判定があり portal も撃てる
* 下の泥床で ABH をすると加速がめちゃくちゃ早い

の合わせ技です #portal

低い方の斜め壁 (透明) に乗った状態で動き回ったりすると、うまい具合に判定が入って自分の乗っている斜め壁だけが開くなんてこともあります #portal

Portal のバグとか非正規ルートの話をできる人もっと増えてほしいよ……

嫌な予感がしている

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

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

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

XML 難しい……

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

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

@musashino205 アラインメント調整かと。
一般に4バイトとか8バイトの値は始点アドレスが4や8の倍数だとアクセスが高速だったり、アラインされていない領域にはアクセスできないハードウェアが存在したりします。
パディングは、コンパイラがそういった多バイト変数をちょうどよいアドレスに置くために間隔を調整するものです。

あっ solved だったか

TL はちゃんと更新しような

うっかりパディングと union が組み合わさると悪魔の未定義動作が始まって白目剥くことがある

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

たとえば 0x12 のアドレスから4バイト整数を取ってこようとするとき、そのままアセンブリを吐くと bus error で CPU 例外が飛ぶなんてことがありえるので、その場合コンパイラは

(uint32_t)(*((uint16_t *)0x10)) << 16 | (uint32_t)(*((uint16_t *)0x14)) >> 16

みたいなコードを吐いてやる必要があるわけですね。
まあハードウェアによりけりなんですが

データ型のアラインメントとは何か，なぜ必要なのか？
http://www5d.biglobe.ne.jp/~noocyte/Programming/Alignment.html

このページは本当に詳しいのでおすすめ

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

パンパンの荷物を紐で縛ったり摩擦の強い素材でパッケージングするとギチギチ鳴るのでは

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

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

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

ふしぎ

一応捕捉しとくと、コンパイラが本当にこんなことするかは知らない (というか多分しない)、何故なら普通はアクセスしようとしているアドレスがちゃんとアラインされているかどうか事前に確認できないから。

というか C だと未定義動作になりそう…… (知らんけど)

C 言語はその辺りのハードウェア由来の環境の差異とかにかなり柔軟に対応していて、特定ハードウェアで動かなかったり挙動が異なるおそれのある動作はことごとく「未定義動作」とか「処理系定義」とかで片付けられています (つまりそこを踏むと安全性や移植性が死ぬ)

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

和訳が割り当てられないの、固有名詞だったりとか長期間残りそうにない言葉とかが多いのではという気がしている。
実のところ情報系でも私のラボ周辺の分野は結構日本語が割り当てられていたりする実感があり

まあ複合的な言葉は単語ごとに可逆な形で訳していけばいいみたいなアレもあるんだけど

gradual typing が「漸進的型付け」とか refinement types が「篩型」とか、よく訳したなぁという気持ちになる

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

あー
構成員が少ないと訳語割り当ての合意形成がしやすいみたいなのはあるかもしれない (知らんけど)

篩は「ふるい」です
「くし」は櫛

あと JIS とかも訳語の割り当ては頑張ってる

第3回　境界調整（アラインメント）を調べる | 株式会社きじねこ
http://www.kijineko.co.jp/tech/cppemb/alignment.html

JIS 規格では C 言語の文脈での alignment は「境界調整」と訳していますね (JIS 由来かは知らんけど)

ISO 13407の翻訳作業について（JIS Z 8530の成立経過） – U-Site
https://u-site.jp/lecture/20001101

英語の原文読めるし工業的に使う気もないから JIS の訳が用無しかというとそうでもなくて、こういうところで意思疎通のための下回りを整備してくれるという有り難みはあるわけです

JIS に感謝

まあ議論するときは結局英語か片仮名使っちゃうことも多々あるんだけどね😋

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

音を持ってきたうえで語形の変化は自分の言語のを適用するか、意味から作り直すかのどちらかなんだろうとは想像している

中国語だとフロッピーディスクは「軟磁盤」なんだっけ？

hard disk - Chinese translation - bab.la English-Chinese dictionary
https://en.bab.la/dictionary/english-chinese/hard-disk

> 硬盘

㍂

訳語があるにしろ、英語と相互変換しやすいのにしてほしいよなぁ……英語と日本語で全然違うと覚えるのが大変だ

C++は本当にRustに速度で負けるのか 〜「RustがC++に速度で勝った話」のベンチマークを追試する〜 - Qiita
https://qiita.com/ACUVE/items/598cecf687cb771f7242

superb って super👍 かと思ったら普通にそういう英単語なのね……

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

@lemon Finally I got the correct answer: non-`Char` characters are prohibited at any place in an XML document (even if they are escaped).

https://github.com/sparklemotion/nokogiri/issues/1581#issuecomment-272515864

EBNF itself used in the spec requires matched characters to also match `Char`, so any production rules implicitly uses only `Char` characters.
(BTW it seems `Char` is defined recursively lol)

Introduction｜WORLD
http://www.kki.yamanashi.ac.jp/~mmorise/world/introductions.html
mmorise/World: A high-quality speech analysis, manipulation and synthesis system
https://github.com/mmorise/World

㍂

MIT Tech Review: 「ゲームが犯罪の元凶」は人種差別の隠れ蓑だった
https://www.technologyreview.jp/s/163445/the-connection-between-video-games-and-mass-shootings-isnt-just-wrong-its-racist/

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

OSS利用企業はOSS開発を支援してほしい - 八発白中
https://blog.8arrow.org/entry/2019/09/19/080000

FS を壊した口の悪いかるばぶ「fsckin' shit!」

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

C++は本当にRustに速度で負けるのか clang++編 〜「RustがC++に速度で勝った話」のベンチマークを追試する〜 その2 - Qiita
https://qiita.com/ACUVE/items/1f527584b68e966c4fe2

システムアップデートしただけなのに無効化していたはずの †ナチュラルスクロール† が有効化される Windows とかいうゴミ、駆逐された方が人類のためだと思う

これ Windows じゃなくてドライバ (設定ユーティリティ) の問題か？だったらそいつらも一緒に滅びてくれ

オメーは boolean ひとつも記憶できねえのか

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

手の届く範囲は独学でやるのが良いと思う。教師がいないと気が向かないときは他のことに逃げられるし。

それでやる気が長期的に持続するようであれば大学とかでも専攻してみれば、学部後半とか院あたりの授業で「これは独学ではキツそう……」みたいなのがちょくちょく出てくるから楽しめるよ (個人の感想)

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

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

「○○よりは腹を切った方がマシだ」という苦痛の比較アピールなのでは。知らんけど。

まあここで切ってるのは腹じゃなくて髪だけど

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

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

https://kirishima.cloud/@mopopo/102819346678449906

自身を「標準的な日本人」だと思っている人は標準的な日本人だと思う (再帰的定義)

「信じている人は」の方が適切かもしれない (知らんけど)

標準的な日本人の定義に疑問を持つような人は既にちょっと標準から外れてそう (適当)

←「(適当)」とか「知らんけど」とか付けとけばどんな適当発言も許されると思ってないかこいつ

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

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

そもそも情報を共有することによる利益というのは現代の日本 (特に大学) で研究活動をしている人々にとっては当然に了解済でその恩恵に与っているものだとばかり思っていたんだけど、実は自覚がない人が多い……？

あなたたちが読んでいるその論文やら文献は何故公開されているのかというのを考えれば、独占だけが情報の使い方ではないというのは自明な気がするけど……

神秘の茶碗「曜変天目」　岡山の陶芸家が再現に挑戦 - 産経ニュース
https://www.sankei.com/west/news/190919/wst1909190026-n1.html

> ただし、釉薬や土や窯の種類など制作過程については「どなたにも話さず墓場まで持っていくつもりです」と鈴木さん。「技の完全な再現は無理だと思います。国宝３碗に近づけるものを作れるかが勝負」と語る。

まあこういう例もあって、この人は芸術家だから私達の価値観とは大いに異なる世界観を持っているのだろうとは思うんだけど、それでもやはり不思議には思う

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

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

あー、美術館とかが作品の画像の利用に制限かけるアレなぁ……

https://mastodon.cardina1.red/@lo48576/102819482228915994

こういう例を考えると、特許というのもやはり意義は大きいはずなんだよなぁと思ってしまう。
ｿﾌﾄｲｪｱ界から見ると有害な面ばかりが目立つけど。

オープンアクセスジャーナル - Wikipedia
https://ja.wikipedia.org/wiki/%E3%82%AA%E3%83%BC%E3%83%97%E3%83%B3%E3%82%A2%E3%82%AF%E3%82%BB%E3%82%B9%E3%82%B8%E3%83%A3%E3%83%BC%E3%83%8A%E3%83%AB

論文のオープンアクセス化を推進すべき7つの理由と５つの提案 ｜ 【帰ってきた】ガチ議論
http://scienceinjapan.org/topics/20140326a.html

科学の未来のために、論文を「購読料の壁」から救い出せ：伊藤穰一｜WIRED.jp
https://wired.jp/2019/03/31/ideas-joi-ito-academic-paywalls/

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

https://mstdn.maud.io/@hina/102819517792151956
「☆1です」までがテンプレ

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

三値論理で null を含めるのはブラックジョークすぎる (すき)

null はすきじゃない

null じゃなくて undefined とかそういう話をしているのではないよ

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

やめて！！

一般に3値論理というと、 true / false / intermediate みたいなやつよね。
たとえば解釈として true = 1, false = 0 とすると intermediate = 0.5 になる。
で、
AND(x, y) = min(x, y)
OR(x, y) = max(x, y)
NOT(x) = 1 - x
みたいな感じで演算子を定義できる

あるいは 1, 0, -1 で NOT(x) = -x にしてもいいんだけど、本質は同じ

Three-valued logic - Wikipedia
https://en.wikipedia.org/wiki/Three-valued_logic

3値論理 - Wikipedia
https://ja.wikipedia.org/wiki/3%E5%80%A4%E8%AB%96%E7%90%86

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

オタク挙動が妙な値ばかり第三の値に使おうとするのやめて！！！

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

まあ結構近いと思います (ファジーの方に詳しくないので私には何ともいえないけど)

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

gradual typing 感がある >unknown

⊤型 (any) と unknown を区別するの大事だと思う (個人の感想)

None と Some(always_true) 程度には大きな違いがあるよね。意味的には。

never は察するに ⊥ のことだと思うけど、これはマトモな静的型付き言語なら結構いろいろなところで提供されていると思うし割と汎用的な概念

C / C++ の void 型が unit とも bottom (never) ともつかない微妙な感じのものなので説明がややこしいんだよな

型理論は楽しいゾ (皮肉ではなくマジ)

bottom (⊥, never とも) は「その型の値は存在しない」というもので要するに空集合みたいなもの。
bottom 型の値を受け取る関数などがあれば、その関数は呼び出される前に必ずプログラムが終了する (つまり絶対に実行されない) ことが静的にわかる。

unit は「その型の値はただひとつ存在する」というもので、単元集合。

unit は集合論的な意味での singleton ではあるけど、プログラミングのデザパタであるところの「シングルトン」とは違って、後者は「その型のオブジェクトがメモリ上にただひとつ存在する」くらいの意味だけど、その型としてありえる値がただ1種類であるという意味ではないので全く別の概念

bottom 型の値は存在しない、つまり「値は実行時に存在できない→値が要求される場所は実行時に経由しない」ということが型検査だけでわかるので、たとえば bottom 型の値を返す関数などを見ると「この関数から実行が返ってくることはないな」というのがわかります

https://doc.rust-lang.org/stable/std/process/fn.exit.html

あとは、 ⊤ (top, any などとも) 型は Java でいうところの Object 型みたいなもので、「すべての型を内包する型」で、どんな値も top 型にすることができる。
逆に ⊥ (bottom) 型は「すべての型に内包されている」ので、 ⊥ 型の値はどの型にキャストすることもできる。
まあ型を集合として見れば直観的ではありますね (型は集合ではないけど)

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=dec3052cb99a669923d791c2c6c1e651

型は楽しいぞ！！！

mastodon.social はスパムの温床という印象しかなくなったのでドメインブロックしている

決定不能な型システムな……

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

System F - Wikipedia
https://ja.wikipedia.org/wiki/System_F

> しかしながらSystem Fにおける型推論は決定不能である．

朗報ですが、もうあります

みんなで白目剥こうな

強力な型システム、ややもすると裏で SMT ソルバ動かすことになったり決定不能になったりするので、結局人類はちゃんと型を意識してほどほどにコンパイラに楽をさせてやれという気持ちになる

Proof General
https://proofgeneral.github.io/

https://github.com/ProofGeneral/PG/commit/adbaafb96696f7cd65c53ecad71aac095bee1338?short_path=0d31aba#diff-0d31abaca1dfbf7533a58aae90f452f8

Proof General のアイコンがオッサンから萌えキャラに変わった回は爆笑した

将軍……どうして……

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

https://mstdn.maud.io/@babukaru/102819687178044157 #potd #これすき

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