Notices by 斎藤ただし (tadd@best-friends.chat), page 5

@ikeji いつくるの？

緩募: 何かのデータを別のデータに変換する時、ナイーブにやると何段階も処理が必要なのを、少ない数の処理にする一般的な方法・考え方・キーワード。

例: 型的なものがAのa1を同a2に変換する時、逐一やってると a1→b1→b2→a2 になる場合を考える。中間の何かBに変換してAに戻す処理。けどa2の中身を使う段になって、よくよく考えるとa1→a2の一発で変換できるかもしれない。そうできるなら、処理が減るだけでなくて、a1の意味をより良く保存できるかもしれない。
更に具体例だと、実数a1を複素数にして、-1を掛けて、実部だけ取るなら、最初から-1を掛ければよい。
複素数にして戻すのを逆数にするなら、演算を省くことで精度も保てると想像できそう。（※ただしNaNとかとかを除く）
まぁ処理に一方向性がある場合、てことか。

@ikeji 新しいキーボード？

@ikeji 半日早かった https://twitter.com/_tad_/status/19926071

@ikeji Dokkuって最近お元気してる？

@ikeji でACMはikeji読めないかもしれないので、こっちが著者版。2009の真ん中の項目にあります
http://pllab.is.ocha.ac.jp/~asai/papers/

@ikeji 自分はケイゾク初心者で、かつ昨日のゼミでちょうどこういう論文をやったんだけど
https://dl.acm.org/doi/10.1145/1596627.1596636
原理的にできないようには見えなかったけどな。PowerPCのアセンブリで全継続＋部分継続を実装したらこうなった、というものでした。
要は（実行状態を表す）スタック（とヒープ）を処理系側が管理仕切れればできればよさそうで、ユーザー用のオブジェクト割当が自動かどうかとはまた別な気がした。

@ikeji と書きながら、琉球大の河野先生（←！！！）が継続ベースのCをやってたのを思い出した。もちろんBohem GC組み込みとかいうのじゃなくて、むしろ下位言語らしい。
https://qiita.com/hanachin_/items/8afa72c3daa58a6047a2

@ikeji 沙？ https://ja.wikipedia.org/wiki/%E6%B2%99
じゃなくてあれか、それ以上細かく扱えない最小単位、って意味かな。TeXのspみたいな。

@ikeji インストーラーだと有効なんだっけ？ごめん、そこは分かってないけど、ともかくアップグレードしたらコメントアウトされててprobe無効、はこないだ見た。
せっかくアップグレードなんだから引き継いでくれたらいいのにね。あと二重否定で分かりづらかった気もする

@ikeji びっくりだよね……コメントアウト消せばいいだけなんたけど。

@ikeji 車輪の再発明じゃん！ こないだ地元がほぼ日立の若者に会ったんだけど、パンポン知らなくて引いたわ〜

@ikeji その辺のコミュ力長者話、むっちゃ聞きたい。

衆議院オフィシャルでむっちゃ面白いことやってるんだなー。河野さん（父）のも絶対おもしろいはず。
https://digital.asahi.com/sp/articles/ASS3X532VS3TUTFK006.html
https://www.shugiin.go.jp/internet/itdb_annai.nsf/html/statics/shiryo/yokomichi_takahiro.html

@ikeji むしろ一緒に見に行ってあげるいけじ優しいエピソードだった

@ikeji あー、なるほど。まだ頭整理しきれてないけど、そういう慣習が確立してるのは大きそうだね。
てか慣習だっけ。--なんとか、をやり始めたgetopt_longがGNU拡張なのは覚えてるけど、それが最近のPOSIX的なのに取り入れられてないかとか、そもそも普通のgetopt(3)に--単体の規定がないのかとか、分かっとらんのが分かった。

@ikeji 来ることがない、か。そんなことあるのかな？
よし静的に制限しよう、は無理だし。

@ikeji 大事なことかいてなかった。もちろんそれがあるなら、行けるんじゃないかな

@ikeji 単にfooだと識別子じゃん、でシンボルだと非キーワード引数と区別が付かない。

現行だとf(foo:1)が一番短くていつもそうしちゃう。Perlか。
拡張するとしてf(foo::)とかはうーん、いまいち。既存のとぶつからないかと心配。
短くしたくてコロン入れ替えても、f(foo!)とか完全にだめ。
どのみち、二項演算子になる記号を埋め込むしかないか。2つ目がないので既存はエラーになる＝互換性保ったまま拡張できる、かも