イスラエル軍がレーザー兵器「アイアンビーム」を初めて実戦で使用し、迎撃に成功 - https://milirepo.jp/the-israeli-military-successfully-intercepts-a-missile-using-the-iron-beam-laser-weapon-for-the-first-time-in-combat/

@teobot gRPC を滅ぼしてる画像持ってない？

ABORT: とかだと JMP 0 使ってるし、JP 使ってるところも何らか後ろに続く処理をするかどうかの if 分岐みたいに使ってるようにしか見えないのでこれは混同とかじゃなくて実際に意味のある判定してるんじゃないかという気がしないでもない。偶パリティ判定というよりは値の popcount をした結果の偶奇判定、という見方で何か意味あるアルゴリズム読み解けたりしません？（ちゃんと読んでないからわからないけど

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

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

松のやの前にかつややらなんやら複数格安とんかつチェーンある

A&W もないです

イネ科資本フランチャイジー設立 いつ

なんか卒業式には揚げらた姿で列席してそうだなこれ

学士（とんかつ）

とんかつ大學にはどうやら入学できなさそうだが、豚大学とんかつ学部は都内にあるようだ >> 豚大学とんかつ学部 | 豚大学公式サイト
https://butadaigaku.jp/tonkatsu/

リンガーハット系列のとんかつ屋はもう関東にひとつもないことがわかった、去年に存在知ってれば大森なら行ったのに……

“この度、長きに渡りお引き立ていただきました「とんかつ大學 イトーヨーカドー大森店」ですが、諸般の事情により2023年5月7日（日）をもちまして閉店いたしました。

”

とんかつ大學
https://www.tonkatsudaigaku.jp/

(2022/02/24) リンガーハットグループの「とんかつ濵かつ」が岡山県以東唯一の店舗「JRお茶の水店」を3月に「とんかつ大學」へ転換　「とんかつ濵かつ」は中国地方11店舗、九州72店舗に - ネタとぴ
https://netatopi.jp/article/1390747.html

濱かつ どこ

炭酸水の残量了解！

学校帰りの小学生？

部活帰りの中学生？

莉波さんはまあまあ莉波さん側も悪いよこれはになった

kb10uy 氏の kb([:digit:]{2})uy の \1 部分、最近いろいろ変わってるの何の数字なのか気になっている

いいかい学生さん、トンカツをな、……なあ、この話メンチカツでやり直しちゃダメか？

@akahana まあ Creative のいう「ハイエンドスピーカーのように自然な立体感」はだいぶウソだろと思うけど最近のサウンドバーも TV 内蔵スピーカーもみんな、それ単体で真上や真後ろから音が聞こえてくるかのように誇張して広告してるしこれもまあ気持ち音場が広がって聴こえるとうれしいねぐらいそうではある

@akahana あと PS5 や最近のサウンドバーは本体にインパルスの音波を部屋じゅうにスイープしてそれをコントローラのマイクでや本体のマイクで録音して、それで部屋のインパルス応答特性とかから反射や残響を計算して自動で立体音響補正かけたりするね

@akahana ソニーはさっきの耳の写真撮るやつだけでなく PS5 のほうでも多少は考えていて、多数のサンプリング結果から HRTF をおおまかに３系統ぐらいでモデリングしてユーザーに３つのうちどれがいちばん立体感あるかを選んで使ってもらえるようにしてる
https://av.watch.impress.co.jp/docs/series/rt/1323407.html

@akahana ただ、ここらへんいずれも標準的な HRTF を使うだけなはずで個々人に合わせてテーラーメイドできてるのはソニーだけだったとおもうから、Creative のようなオーディオに詳しくないゲーマー寄りのメーカーから出てきたことには意義がありそう

@akahana あと Apple Music や amazon music もハイレゾ配信と並行で Dolby Atmos ミックスの配信やってるし、Apple のヘッドフォンやイヤフォンも「空間オーディオ」機能で勝手にステレオを擬似サラウンドにするわね https://support.apple.com/ja-jp/guide/airpods/dev00eb7e0a3/web

@akahana いまは映画も Dolby Atmos をウリにしてるし、Windows 10/11 もデフォルトでサラウンド効果 DSP 処理みたいなの内蔵してる上に金払えばここを Dolby Atmos や DTS-X に切り替えられるし、家庭用 TV も国内メーカーはみんな軒並 Dolby Atmos の擬似サラウンド効果内蔵して、ゲームでもここらへんを使う（PS5 の Tempest Audio、Xbox Series X の Dolby Atmos）のがデフォルトなのでもう勝手にサラウンドになってるまである

アフォーダンス <-> 天才静止

35 歳児

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

@akahana 最近は Dolby Atmos 対応とかで ThinkPad X1 Carbon のステレオスピーカーですらここらへんの DSP 処理でかなりうまいこと擬似サラウンド処理をする（というかステレオシステム自体、モノラルに対してのサラウンド化ではある、左右の音量差や位相差や時差を使えるようになるだけでかなり音の位置をあちこち動かせるため）ので、Creative がこれをスピーカーにも適用できるように、というのもまたまあそうですねという感じあるね

@akahana ソニーも 360 Reality Audio で似たことしてる https://knowledge.support.sony.jp/electronics/support/articles/00233341

@akahana が、HRTF は当然ながら、高額な測定環境を揃えて個々人でそれぞれ測定しないと正確なものはわからないので世のシステムは大抵平均的な人々のそれを近似したものを使っているので、擬似サラウンドがちゃんとそう聞こえるかは人によってかなり個人差がある、というのを、HRTF と頭部画像を紐付けた教師データから回帰分析とか学習させたら画像から HRTF 吐かせる何かは作れそう

@akahana 人間の耳に音波が伝達するとき、頭や体、耳の形状で反射や減衰がかかったものが鼓膜を通じて脳に入力されて人間はこの入力から長年の学習で音の立体感や方向を認識するので、ヘッドフォンから原音そのまま鳴らすとこの学習と齟齬のある音が入力されて頭の中あたりに音が定位する、というのがまずあって、そこで原音が鼓膜あたりにきたときどう変化するのか表したのが頭部伝達関数 (HRTF) で、擬似サラウンドはいってしまえばこれや左右での時差や位相差を利用して脳にサラウンドだと思わせている

@akahana 頭部伝達関数を画像から推定してそれを逆算した音を出すってことでない？

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

おちょくられてますか？

https://twitter.com/ellnore_pad_267/status/1665781913402089473

「細かく分けて入力」も実はあんまり解決になっていないか、あるいはもっと問題を混乱させていることもある

Apple は最初 Imagination Technologies の PowerVR を iPhone/iPad の GPU にしていたけど独自半導体に変更したりとか、SoC の内製率を以前から徐々に上げて布石打ってたし、いつ Intel 止めるかは前から考えられてたと思うので

Intel が周回遅れだから、とかはあんま関係ないと思う

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

これなるほどになった。V/M より安いっぽい？ https://twitter.com/nekogashira/status/1533636209712730112

JCB 導入すると自動で J/A/D 対応になるんだよねたしか

ノクチル

たぶん J/A/D 対応したんじゃないかなあれ

@6hs1 Wikipedia の記述は https://ja.wikipedia.org/wiki/%E7%89%B9%E5%88%A5:%E6%90%BA%E5%B8%AF%E6%A9%9F%E5%99%A8%E5%B7%AE%E5%88%86/69314040 ある日出典もなくいきなり出てきてる（規格表の番号くらい書け）し、しかもこれ ZMP 社のサイトのコピペだとしか思えない https://www.zmp.co.jp/knowledge/words/E01

リレー回路のコンピューターで我慢して

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

@6hs1 ふつうに ECU でいいとおもうよ

@6hs1 あとエンジン電子制御ユニットが ECM、というのは一般的な定義ではなくて ISO/SAE のうち DoIP とか UDS とか、診断系の規格での用語定義がそう、というだけな気がする。 https://qiita.com/kaizen_nagoya/items/83cae62d1cb528c3c816

@6hs1 信頼性が担保できるならね

@6hs1 inter connect は CAN に限らず I2C とか I2S とか Ethernet とかなんでも有り得る

@6hs1 https://mstdn.maud.io/@orumin/108383985731173074

@akahana developer はこのひとだよ。日本在住。 https://twitter.com/marcan42

滝沢秀明も共演したセガ『ドリームキャスト』CMの“湯川専務”が亡くなっていた！ | 週刊女性PRIME
https://www.jprime.jp/articles/-/24152?display=b

チレジでンン

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

TAITO 秘話おもしろい >> https://docs.google.com/document/d/1Nx6kCiVs6rosK8y1G5Dwy7LlMC8Xbag1jMvvTvyNSwo/edit

トヨタ GR 86、米国仕様を発表！2.4リットルボクサーで228馬力発揮 | Spyder7（スパイダーセブン） https://spyder7.com/article/2021/06/05/14381.html

新型コロナ後遺症で寝たきりになった話｜すないぬ｜note https://note.com/sunainu/n/n0bc59b7c6de7

ハハッ……

PANDUIT の RJ45 圧着器、1 万円ぐらいだった気がしてたけれど 1 万 5 千円だった

ネットワーク配線部材 | AISAN eショップ https://www.aisan.co.jp/eshop/?cat=36

LANケーブル（コネクタなし） | AISAN eショップ https://www.aisan.co.jp/eshop/?cat=42

LANケーブル（コネクタ付） | AISAN eショップ https://www.aisan.co.jp/eshop/?cat=23

含んでないんだけど！！！

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

ちょっとすき

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

愛三電機（秋葉原）とかならやってくれるんじゃない？

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

（主に）

私の歯は象牙質とエナメル質で構成されています……

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

私の歯もそれを支える構造も鋼鉄だったりしません

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

PANDUIT で RJ45 と圧着器揃えようとするとまあまあかかるけれど、無名なメーカーの圧着器だと 3000 円ぐらいでも買えたと思うし、RJ45 端子も単価 100 円ぐらいじゃなかったっけ。（もちろん電子部品としては 100 円はまあまあの値段だけれど、そんなに数買わなければべつに）

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

巻きでケーブル買ってきて自分で RJ45 かしめれば解決

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

アメリカの「反ワクチン業界」わずか12人で年間40億円の儲け | Smart FLASH/スマフラ[光文社週刊誌] https://smart-flash.jp/sociopolitics/144140

Fedora contemplates the driverless printing future [LWN.net] https://lwn.net/Articles/857502/

CentOS Linux 8 (2105) released [LWN.net] https://lwn.net/Articles/858348/

ふらふらふらったー

VRの感触はワイヤーで再現！　肩の上に載せる触覚デバイス「Wireality」 - bouncy / バウンシー https://moov.ooo/article/5ec3f9baffbac9727a741e24

干してた布団取り込んでからしばらくして雨が降り出しかけている

たぶんグローヴ型の Haptic device 自体はその Prime 以外にも以前から色々出ているのですが，価格なあ

注文時にカート個数を 99 にしてから注文確定直前で引き換えすとバグって価格のケタがひとつ減るとかそういうことあったりしない？

0 がひとつ減ったりしない？

サーヴァーにしてるタワー型マシンの上側が空いてたからフィギュアをそこに置いたけど異常なサーヴァーっぽさが出てきた

というか出雲そば食べたーい

学校近くの微妙そうな蕎麦屋，案の定微妙だった

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

蕎麦を食べんかい

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

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

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

［6/6］Kernel/VM/探検隊online part1 - YouTube https://www.youtube.com/watch?v=eQIT0kilP5k&feature=youtu.be&fbclid=IwAR0y01jtKIOMq1znddOdx0JzZAiZ6vauh25QAYot8NtQW7mof-ZxNfzV0fs

13:30 より開始 >> Kernel/VM/探検隊online part1 - connpass https://connpass.com/event/175388/

pcc って並列ビルドすると壊れるな

いや神通力も無いですが……。

念力→使えない

PC デスクの真ん中にフィギュアを二つ置いたまま PC カタカタするの微妙に邪魔な感じあるけど他に置き場ないんだよな

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

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

黙示録 PDF なに？

論文以外もあるけど

大量の PDF は Mendeley に突っ込むのをサボってる読みかけ／読み終えた論文のファイル

前々からここにターミナルの出力貼るときはだいたいさっきのように背景に PDF とかが見えてたはず

私は Windows のターミナルに ConEmu を透過させたのを quake-like の設定使っていて（Linux でも guake が好きなので），背景を透過させてるのは 1 画面しかない環境でブラウザに何か表示しながら書くのがラクだからです

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

えっ pcc ってまだ誰かが開発してる……（なんならこの前の水曜日にコミットがある……）

そういえば昨夜 git-cvs で checkout してた pcc ですが，今見たら git に変換し終えてた

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

みんな Arm の gcc を生成するときに stage 1/2 見てそう（最近はバイナリで arm ターゲット x86_64 ホストのクロスコンパイラが降ってくるけど……

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

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

あれ 1250mAh しかないはずなので，毎晩充電はしないとだよ

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

Sun のシンクライアント端末，Sun Ray ってやつ

パレットタウン，古いスイッチやルーターも（ラックマウントのやつか RTX 1200 の OEM 版みたいなの）まあまあ置いてるし安いサーヴァーマシンに使えそうなちょい古めのそこそこのタワーマシンも置いてるし Sun のシンクライアント専用端末みたいなのもたまに仕入れたり仕入れなかったりする

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

なんかちゃんと確認しててイケるはずなのにイザというときには……というのがよく聞く

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

UPS の中古や安いやつ，使えるように見えて本当に必要なときに動かなかったり干上がってたりというインシデント聞く話が多すぎる

キリンガラナが買えるお店だ！

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

どう考えても書いた後に自分で読めなくなるけど……。

しかし順列も綺麗に書けてしまうと知ってちょっと PCRE 真面目に勉強したくなってきた

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

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

私の HN はラテン文字のはずなのに勝手に漢字の宛字など発明されており :thinking_face:

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

それと CPU のメモリページのページウォークのときに辿るページテーブルも Radix tree ですね。

そういえば Trie tree や Radix tree は構造上，辞書に使われがちなのでたぶんみなさんの利用している日本語変換システムにも利用されてる（同じ prefix の単語を節約して保持できるので

輪状決定性有限オートマトンだと無限の長さの文字列を受理するけど ADFA だと特定の長さでオートマトンが終了しちゃうから，ADFA の場合を特別に考えるようにするとより高速に処理できるっぽい。確かにね。

Trie Tree で表現できる決定性有限オートマトンのように，普通の正規表現で考える輪状になってるオートマトンではないものを非輪状決定性有限オートマトン（ADFA）と言うらしい

Radix Tree というか Trie Tree か

あ，さっきの順列の木構造だけど，よく考えたらあれ Radix Tree じゃん！

そういえば先程から決定性有限オートマトンと書いてたけど，決定性有限オートマトンで受理できるものはチューリングマシンでもイケるはず（たしかね

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

PCRE，かなり強い表現力があるのはしってるんだけど具体的な使い方ぜんぜん知らないんだよな。順列も綺麗に書けるのか

これ PCRE かな

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

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

だから本来正規表現じゃ括弧の対応はパースできないはずなんだけど，なぜか Perl の PCRE は括弧の対応が取れる拡張とかあって，あれらは実はぜんぜん正規表現ではない……

なのでオートマトンにスタックを追加したプッシュダウンオートマトンというものを考えて，左括弧がきたらスタックに積む，右括弧がきたらスタックから降ろす，ということをすると，オートマトンが最終状態になったときにスタックが空かどうかで，正しい受理状態か判別できる

決定性有限オートマトンで受理できる文字列は全て正規表現で表現できる（この場合は再帰的な構造や OR の分岐みたいな構造は記述できるが，左括弧と同じ数だけ右括弧が左括弧の後に登場しなければならない，というのはまず受理した左括弧の数を数えていないといけないので，何らかの記憶装置が必要なため正規表現では表現できない）

正規表現や文脈自由文法がどういう計算クラスになるのか，というのは計算理論という分野になるのかな。

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

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

しかしこれを何でパースしたところでさっきの木構造が出来上がるんだからその木を辿って受理されるかどうかにしかならんからパースの効率化もそれ以上べつに出来ることはないか

まあ (ABC|ACB... をうまく略記する方法が発明されてたとしても正規表現エンジンで処理される以上は正規表現の処理でしか処理されないから効率化はされなさそう

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

正規表現は再帰的には記述できるけど条件分岐するようなマッチのしかたをする文法は書けないので……（PCRE は知らん）

これをスマートに書きたい，という話であれば，前に受理した状態と，その前に受理した状態を記憶しておかないといけない気がする

でもどう考えてもこの構造を縮約できないから，正規表現としては (ABC|ACB|BAC|BCA|CAB|CBA) としか書けないと思う

あまりにもアレだからこれをうまく正規表現のスマートな書き方に落としこむにはどうするか考える必要はある

というか普通に平衡二分木の構造を持った有限決定性オートマトンが完成するっぽい気がするから普通に正規言語クラスに収まるね

正規表現というのが本来の正規言語クラスの話であれば，オートマトンを書いてみれば良さそう

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

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

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

私も髪切りたい

@ksmakoto and はできませんね

sed はテキスト置換か特定の行だけ表示するのにたまに使う，awk はもっぱらカラムを切り出すときだけ使うなあ

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

awk か sed でそこらへんやるのが一番 portability あってかつ一行の中で登場する順番に依存しなさそうなので，たぶんそのどっちかが正しいな

sed で sed -e '/pattern1/!d' -e '/pattern2/!d' もありか

regular expression - How to run grep with multiple AND patterns? - Unix & Linux Stack Exchange https://unix.stackexchange.com/questions/55359/how-to-run-grep-with-multiple-and-patterns

awk で awk '/pattern1/ && /pattern2/' ってやれというのも言われてて，たしかにそのほうが正しそう

若干邪道だけど GNU の grep 実装は PCRE が使えるので
grep -P '^(?=.*pattern1)(?=.*pattern2)'
でもイケるとのこと

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

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

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

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

そもそもの正規表現として or は可能だけど and は書けないのでしゃーない

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

ははーんなるほどね

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

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

入力に他の入力を連結せずに出力させられる連結コマンドさんの気持ちになってくださいよ！

cat は concatenate コマンドなので stdin に text stream を流すだけなら cmd < file を使うほうが本来的では？と思ってそのようにすることがままあるんだけど可読性考えたら諦めて cat でいい気がしなくもない