完全に考えが甘かったんだけど、これ OoB が見えたところで駐車場の透明な壁を貫通できないから結局外には出られそうにないわ……やっぱり屋根よりも地面を掘った方が良さそう？ #portal
らりお・ザ・何らかの🈗然㊌ソムリエ(@lo48576@mastodon.cardina1.red)の投稿
どう頑張っても駐車場から脱出できる気がしなくて泣いてる #portal
また portal のおもしろルートみつけた (inbound)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
fcitk の issue が中国語だったり面白そうなライブラリの README がロシア語だったりした経験から学んだので、基本的に英語を使うようにしている
今日も新規性のありそうな研究成果が出たので風呂入って寝ます
このアカウントは、notestockで公開設定になっていません。
今回は表の世界だけでやりましたよ！
ちょっとギミックをスキップして透明な面に portal 撃ったりしたけど
一応解説しておくと、
* 上の床とかでアクションをしなければ turret の壁が開いたり動いたりしない
* 壁が動く前から斜めの壁の位置には当たり判定があり portal も撃てる
* 下の泥床で ABH をすると加速がめちゃくちゃ早い
の合わせ技です #portal
Portal のバグとか非正規ルートの話をできる人もっと増えてほしいよ……
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
@musashino205 アラインメント調整かと。
一般に4バイトとか8バイトの値は始点アドレスが4や8の倍数だとアクセスが高速だったり、アラインされていない領域にはアクセスできないハードウェアが存在したりします。
パディングは、コンパイラがそういった多バイト変数をちょうどよいアドレスに置くために間隔を調整するものです。
うっかりパディングと 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で公開設定になっていません。
あー
構成員が少ないと訳語割り当ての合意形成がしやすいみたいなのはあるかもしれない (知らんけど)
第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 の訳が用無しかというとそうでもなくて、こういうところで意思疎通のための下回りを整備してくれるという有り難みはあるわけです
まあ議論するときは結局英語か片仮名使っちゃうことも多々あるんだけどね😋
このアカウントは、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で公開設定になっていません。
FS を壊した口の悪いかるばぶ「fsckin' shit!」
このアカウントは、notestockで公開設定になっていません。
C++は本当にRustに速度で負けるのか clang++編 〜「RustがC++に速度で勝った話」のベンチマークを追試する〜 その2 - Qiita
https://qiita.com/ACUVE/items/1f527584b68e966c4fe2
システムアップデートしただけなのに無効化していたはずの †ナチュラルスクロール† が有効化される Windows とかいうゴミ、駆逐された方が人類のためだと思う
これ Windows じゃなくてドライバ (設定ユーティリティ) の問題か？だったらそいつらも一緒に滅びてくれ
の投稿
herschel@raptol.net
このアカウントは、notestockで公開設定になっていません。
手の届く範囲は独学でやるのが良いと思う。教師がいないと気が向かないときは他のことに逃げられるし。
それでやる気が長期的に持続するようであれば大学とかでも専攻してみれば、学部後半とか院あたりの授業で「これは独学ではキツそう……」みたいなのがちょくちょく出てくるから楽しめるよ (個人の感想)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
「○○よりは腹を切った方がマシだ」という苦痛の比較アピールなのでは。知らんけど。
このアカウントは、notestockで公開設定になっていません。
彼方のアストラ、ちょっと都合の良い展開とかが多いかなという点を除けば普通に面白かったし、まあ都合が良いのは創作の特権でもあるのでべつにそんなに気にならないですね
シナリオの構成は結構うまかったなと思っていて、各話でキャラの生い立ちとか経由した星でのトラブルみたいな短期的な問題に遭遇して解決するという波と、刺客や歴史の秘密についての謎が明かされるという長期的な波、この2つが両方ともうまく途切れなかったので、途中でダレなかったなと
このアカウントは、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で公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
三値論理で 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) ともつかない微妙な感じのものなので説明がややこしいんだよな
void の void は虚無なんだけど、 void * の void は虚無ではなく「型がない」という意味 (一貫性のNASA)
あと C の void の一貫性の NASA といえば、 void が unit 相当なのか bottom 相当なのかも微妙な感じよな (個人的には unit であろうという印象を持っている)
その解釈に従うならば、「void 型を返す関数」が実際に返しているのは「ただ一つの (実質何の意味もない) 値」であって、これがバイナリレベルではナンセンスなので省略される、みたいな理解をするのが (直観的には) 自然かもしれない
(void)unused_arg;
とか、何やってんだお前という感じはある
@tacumi 実際のところ、 void の void が虚無なのに void * の void が虚無ではなく「型指定がない」程度の意味しかないのが混乱の原因なので、ウーン説明が面倒だぞという感じですね
三項演算子に void の式を突っ込めるのとか、なかなか愉快な仕様になっている (お前それ絶対 unit じゃなくて bottom のつもりで型付け規則用意したやろみたいな感じ)
bottom (⊥, never とも) は「その型の値は存在しない」というもので要するに空集合みたいなもの。
bottom 型の値を受け取る関数などがあれば、その関数は呼び出される前に必ずプログラムが終了する (つまり絶対に実行されない) ことが静的にわかる。
unit は「その型の値はただひとつ存在する」というもので、単元集合。
unit は集合論的な意味での singleton ではあるけど、プログラミングのデザパタであるところの「シングルトン」とは違って、後者は「その型のオブジェクトがメモリ上にただひとつ存在する」くらいの意味だけど、その型としてありえる値がただ1種類であるという意味ではないので全く別の概念
bottom 型の値は存在しない、つまり「値は実行時に存在できない→値が要求される場所は実行時に経由しない」ということが型検査だけでわかるので、たとえば bottom 型の値を返す関数などを見ると「この関数から実行が返ってくることはないな」というのがわかります
あとは、 ⊤ (top, any などとも) 型は Java でいうところの Object 型みたいなもので、「すべての型を内包する型」で、どんな値も top 型にすることができる。
逆に ⊥ (bottom) 型は「すべての型に内包されている」ので、 ⊥ 型の値はどの型にキャストすることもできる。
まあ型を集合として見れば直観的ではありますね (型は集合ではないけど)
mastodon.social はスパムの温床という印象しかなくなったのでドメインブロックしている
このアカウントは、notestockで公開設定になっていません。
System F - Wikipedia
https://ja.wikipedia.org/wiki/System_F
> しかしながらSystem Fにおける型推論は決定不能である．
朗報ですが、もうあります
強力な型システム、ややもすると裏で SMT ソルバ動かすことになったり決定不能になったりするので、結局人類はちゃんと型を意識してほどほどにコンパイラに楽をさせてやれという気持ちになる
Proof General
https://proofgeneral.github.io/
Proof General のアイコンがオッサンから萌えキャラに変わった回は爆笑した
このアカウントは、notestockで公開設定になっていません。
