さっき計測関連の話してたけど，そういえば https://gist.github.com/hellerbarde/2843375 は計算機に纏わるいろんなレイテンシのおおよその数値が書いてあって面白いし便利なので計算機やるひとはみんなみて

オタクなら BIGMAN よりヨドバシに集めとけばええやろぐらいに思っているがこれも罠……だったのが最近ヨド橋出来て罠消えたからいいね

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

港とかから行くのにまず梅田まで阪急は絶対使わなさそうだし阪神か JR か，あるいは大阪南港とかからだと市営地下鉄だろうなという気がしてて，蟹くんが阪急梅田までたどり着けるのか楽しみにしてます

@6hs1 いいぜ

漫画版よもう

@SHC7saki がんばってね

思考がハックされている！

‪飯田橋で何か食べて帰ろうと思ってたのに気がついたら電車内に居たから自宅最寄り駅前で食べて帰ろうと思ってたのに気がついたら自宅の目の前まで来ていた。‬

@SHC7saki 2016 年に阿倍野キューズモールに移転とのこと https://www.google.co.jp/amp/www.toei-anim.co.jp/ptr/precure/store/amp/2016121901.php

@SHC7saki プリキュアプリティストアは阪急三番街ではなく阿倍野のほうに引っ越してない？あと梅田は阪急梅田と阪神梅田と梅田（大阪市営地下鉄）があって prefix なしの梅田だと普通は地下鉄のほうになるんやな。まあこの三つどれでもヨドバシカメラ梅田店からすぐなんだからやっぱり阪急梅田で待合せる必要ないね……。

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

@SHC7saki たぶん素直にヨドバシカメラあたりが正解だったんじゃないかな……。

@SHC7saki なんでそんな難易度高い場所にしたの（それぞれがそれぞれ別の梅田駅に居たりしませんか？ちなみに関西人は梅田だとビッグマン前を使いますがたぶん関西人以外に通じない

そ，そうだよ？

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

不老不死じゃないってば。

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

Unixbench は C 言語の time(3) でやってました。まあ平均で数字出すしイテレーション一回ごとの精度は要らんやろw てことかな。

Unixbench はどう実装してたっけ

実際システムコールや VM enter/exit の呼出それそのものにかかる時間の microbench は普通ループを異常に回して平均取る。とはいえそういうのは 1 度の呼出はかなり短くてマイクロ秒やナノ秒なので time の精度じゃ雑すぎて OS の高精度タイマー使うか，いっそ TSC 使うかになっちゃいますね。

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

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

実家周辺が漫画の聖地になってたんですが

大量のオタクが大吉山に登っちゃうの FAKE っぽい，他人と違うことをしないと……。

time って time の引数に渡したコマンドを fork+exec するはずで，fork ってクソ遅いので計測してるつもりで実は計測できてたのは fork にかかる時間だけだった，となりがちだし C++ とかならせめて fork+exec する部分自分で書いて std::chrono とかで計測して，ついでに fork+exec をする部分だけも計測してそこにかかってる時間は offset として省くみたいなデータの前処理しないと，多分意味のあるデータは取れない

時刻計測，prelimitary とかだった，そうじゃなくてなんとなく全体に掛かる時間を取りたいのなら手軽に time でもいいけど，パフォーマンス向上しましたとかって主張するのなら TSC とかちゃんと取得して厳密な計測しようねみたいになるし，どの程度の計測をしてるかには依存します。

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

工学分野は知識というよりそれをもとに新たになにかを創造するスキルまでが専門家の価値だからむしろ問題意識を共有するためにも知識自体はどんどん非専門家にも共有されててほしい，と考えそうだけど，知識それそのものが専門家の核となる分野（法曹とかそうなのかな）はどうなんだろう。まあ法曹だって知識丸暗記だけじゃ法曹にはなれないのだろうけども。

ところで時間計測に time コマンド使うのはあまり宜しくなかったりします

手間はともかく，自動化されてて誰でも追試できるように環境整備されてるほうが後々再試しやすいしそういうのが GitHub とかで公開されていると大変研究として好ましい態度ですねみたいにはなるね。卒業研究だとそこまで行かなくても大学院進学するなら卒業研究を brush up して国際会議に投稿するのよくあるから尚更

AKG N60NC のバッテリーどしよかな

むーん

チェーン毎交換はまあできるのでは，自転車でできる人に頼みます

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

これすき

浮いてるどころか完全に錆びてきてるんだよなあ。なんとかしないと

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

@babukaru じつはあんまりなんとかなってない気がする

@Aqraf そのはず

計算機や Web に纏わる技術を持つ人間が持たざる人間に苦言を呈しやすい，と観測してしまうのは，単純に SNS の場がそれらによって構成されているからな気がした。
例えば町のバイク屋で無知な人の悪い取扱によって酷く傷んだ内燃機関を持つバイクを持ち込んだらあんまり良い顔されなさそう（でもバイク屋は商売だからむりやりでも丁寧に対応するのかな。どうだろ）

駅の柱広告や Twitter 広告で最近これをよくみるのだけどペルソナ，というのがシステム名としてパースできなくてなんならアトラスの『ペルソナ』シリーズに出るペルソナを想起してだめ

むしろそれはすごかったりしない

半世紀ちょっとでなんとかなるのかな

OSC52 初めて知った

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

AKG N60NC wireless のバッテリーが 10 時間弱で切れるようになったのでかなりバッテリーヘタってきた（イヤーパッドもヤバめになってきてるけど）。まだ一年ちょいなんだよな，これバッテリー交換してもらえるかなあ。AKG N700NC 買う機運でもあるんだけど，デザインが N60NC ほど好みではない。

tmux の prefix C-c と prefix C-v にそれぞれ xsel --clipboard --output | tmux save-buffer - のかみたいなの（うろ覚え）設定してて tmux でコピーしたやつをクリップボードに流し込んだりその逆をやったりできるようにしてるんだけど，当然 Windows と macOS では xsel 以外を使う必要がある。
で，tmux の if-shell で分岐させてるんだけど tmux の default-shell 設定を fish にしたらたぶんうまく分岐できてなくていみわからん

私の zsh から porting した fish の config は微妙にバグってるけど無視してます

内部は list で保持してるんですね

これ読んでました >> fish-shell/path.cpp at b9ef8797f1d01c2e086f9220ee2a16628674a5f5 · fish-shell/fish-shell
https://github.com/fish-shell/fish-shell/blob/b9ef8797f1d01c2e086f9220ee2a16628674a5f5/src/path.cpp

issue ね，なるほど。

@akahana 最終的に大学ノート便利ねになった

@akahana 私の場合途中からルーズリーフにしたけど一冊目のバインダー紛失したなどがあり数学以外消えたりした

むしろ fish は fish の array として PATH を持つけど fish から何かを exec するときに PATH をコロン区切りにして渡してるのでは。env も外部コマンドよな。

bash や zsh はコロン区切り，fish は空白区切り（というか空白区切りで文字列を変数に set すると array になるという syntax の持ち主

@akahana わたしも数学のノートだけは残してるわ

えーあかはなさんがなんかノート晒してるし私も帰宅したらノート写真にとったりしてみようかな。消えてる可能性はあります。

@meganesoft そぎれてるよ

@akahana えっすごい。井戸型ポテンシャルとかわからないとなんで半導体が導体ではないのにたまに電子が飛び出して通電することがあるのかさっぱりじゃん

@akahana 私も半導体工学の講義で量子力学の基礎から講義がはじまった覚えはないのだけど，一応エネルギーバンドの話とか水素原子の波動方程式解くやつはやった記憶ある

@omasanori 博士取得→東大研究員→現職みたいなだった記憶

@omasanori むしろずっとアカポス

@akahana 不思議だ

@akahana 微分演算子でググってみて

理論依りの話は CS に限らず即座に金にはしづらいから研究者という道になっちゃうのかなやっぱり

たとえば卑近なところだと Sony とかも PS4 のために LLVM/Clang に commit しているけれども，理論依りというよりは実装依りの話よねえ

型理論とかもっと理論依りの話してる人だとかなり行き先まったく違うな

@meganesoft https://mstdn.maud.io/@dj_gotiusa/102179283877599390 に対する返答であって私の話ではないよ

たとえば Ruby の笹田さんは Ruby VM 実装したネタで博論書いてそのあとも大学教員なったり Heroku 行ったりとかされてるけど，これは Ruby 開発者というところが強そうだからあんまり一般に参考にならんな

言語処理系とはいっても実装依りの話と理論依りの話でどっちやってるかによってまた違いそう

処理系作ってる会社に就職できそう

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

@prime 私の観測している LTL では線形の連立方程式（主に一次だと思われる）など高校数学で出てくる範囲のモノを指して連立方程式としたので，非線形方程式のことをここでは含意しないものとします。

それはそれとして，さきほど私が連立方程式は線形代数じゃんと post したのには，そもそも行列式が連立方程式を解くために生まれて，そのあと行列式から行列が発生し，そこからその方程式の線形性などの一般的な性質が研究されて線形代数になったので，連立方程式それそのものが線形代数の一番の大本なんすよね。

そうなのか

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

そういうこと #とは

代入法は代入法という方法です，と教えられたので公式とは思わなかったんだよな

無知がどうとかじゃなくてそういう教え方されて，という話ならそれは知らなかったので。

algorithm のことを公式って言う文化が存在するのを知らなかったんだが。

代入法そもそも algorithm であって formula ではないのでは

連立方程式って線形代数じゃん

日本語 Wikipedia に載ってるのか

“ニルス・オーレ・ヒルマー・トーバルズ（スウェーデン語: Nils Ole Hilmer Torvalds[1]、1945年8月7日 - ）は、フィンランドの政治家・欧州議会議員である。欧州自由民主同盟に参加しているスウェーデン人民党の党員である[2]。”
ニルス・トーバルズ - Wikipedia - https://ja.wikipedia.org/wiki/%E3%83%8B%E3%83%AB%E3%82%B9%E3%83%BB%E3%83%88%E3%83%BC%E3%83%90%E3%83%AB%E3%82%BA

Linus の親父が EU の議員に当選してる

Fun fact: The father of Linus Torvalds, Nils Torvalds is a Finnish politician who was elected as mep today : linux - https://www.reddit.com/r/linux/comments/btbx8z/fun_fact_the_father_of_linus_torvalds_nils/

drivers/android みてみても Binder のコードしか置いてないので，Android を理解するには goldfish の driver と AOSP を読むのが正しそうだなと思ったけど AOSP 読むの面倒だな

そもそも Arm の UEFI じゃないやつは DeviceTree で ACPI がやることもやってるの忘れてた

ACPI じゃなくて Linux PowerManagement のレイヤと Android の PowerManagement Framework がミソなんだなと学んだ

京都大学もついに履修単位 CAP が実装されちゃうの

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

タップして起動は iPhone 8 にはなさそう

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

リビルドというよりコンフィグを適切に設定

Android の Linux kernel にある percial wake lock が適切に設定されていれば kernel のコードベースそのものに設定が要るわけではないのでは。リビルドは必要そう。

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

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

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

こういう時いつも Android の実装ちゃんと読みたいなって思うけど Android の実装あんまり読みたくない

Aalto 大学は Rump Kernel の博論もあそこなんだよなあ

フィンランドの Aalto 大学がわかりやすいスライド作ってた >> https://wiki.aalto.fi/download/attachments/100214190/Final%20Presentations.pdf?version=1&modificationDate=1418742806306&api=v2

Linux の driver はつまりカーネル（の一部）なので

それは結局のところ ACPI driver の改造なんでしょたぶん

素の ACPI の cycle にそういうのないよなと思ったので検索したけどやっぱり partical に wake できる state とか ACPI に追加して解決しているのか Android power management - https://www.slideshare.net/jerrinsg/android-power-management

まあ端末を持ち上げたら復帰するとかそういう挙動も存在するし，実装次第でどうにでもなるか

へー

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

というかそもそもスリープ中にタップしたら復帰するような端末ってあるんですね

Android のスリープがどのレイヤで何をスリープしているかは実装見ないとわからんのでなんとも言えないけど，driver の実装がそうなってるとかそういう話じゃないのかなぁ。

タッチパネルの入力のためのデヴァイスファイルやデヴァイスへのアクセスの capability をそのプロセスが持っているから普段は使えているのだろうし，スリープしたからその capability が剥奪されるようなものではないと思うので SELinux は関係ないのでは。

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

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

https://mstdn.maud.io/@omasanori/102178959659805250 これ，自動翻訳なくても素で読める（発音はわからない），というの漢字の便利さだな

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

秋葉原が食事処だらけになったのもわりと近年ってカンジする

とはいえ東京駅は土産売るほうが需要にマッチしてるだろうし

広さの割に，それは確かに

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

最悪弁当買ってどっかで食べればいい気がする

この弁当エリアにある寿司清とか普通に店舗があって海鮮丼とか食べられたはずだけどな。

https://www.tokyoinfo.com/shop/item/40b94c2c768f35be8cf2302a2f4b9116a93a51a6.pdf

@oinarisummer グランスタ丸の内じゃなくて中も食べるところあった気がするという話。

@oinarisummer わからなくはない。まあ東京駅地下のグランスタってかなり食べるとこあった気がするけどな

@oinarisummer でも改札の外にたくさんあるね

@oinarisummer 地下にわりとある

微博って公式アカウントをフォローしたりすると必ず DM でフォローありがとう！ってメッセージがくるんだけど，この騒動の最中でさんざん IEEE への疑惑の weibo のリンクを post したあとにフォローしても「ありがとう」って言われるのめっちゃじわじわくる（@IEEE中国 をフォローした）

Weibo で TimeLine を引っ張って更新して，新しい投稿があったとき，Weibo 国際版のアプリでは 4 New Weibos とか出てくるから，微博にとってたぶん 1 post が 1 weibo

こんなこともあろうかと微博アカウント作っておいてよかった

『Forbes』が weibo した写真に載ってたのは IEEE 会員がリークしたメールだけだけど，その後に知乎で量子位がそれに対する研究者たちの反応などをまとめて，さらにそれを中国企業家雑誌が weibo したという流れっぽい。

IEEE对华为发出禁令！全球最大学术组织邮件曝光，开始清理编辑审稿人 - 知乎 - https://zhuanlan.zhihu.com/p/67378796

IEEE が 全球电气与电子工程师协会なのよくないですか。

中国のサイトみてるとその欧文はそう当て字するんだという発見がある

‪『Forbes』誌中文版（福布斯）の微博が報じたのが震源？ >> https://weibointl.api.weibo.cn/share/73408012.html?weibo_id=4377262310086683‬

#IEEE下令清理华为系审稿人 というハッシュで盛り上がってるな

https://weibointl.api.weibo.cn/share/73407293.html?weibo_id=4377271064309573

王がハンバーガーを食べるのかというは大きな疑問だったが，近年アメリカ帝国の元首がハンバーガーを食すところをよくメディアに露出するため，このような疑問は不要になった[要出典]

@neso そもそも降下したこと自体が誤解だよ

@neso えっ臣籍降下って……。

UNetbootin みたいなの信用したことなくて，後輩が「なぜか Ubuntu インストールできないんですけど……」って言いはじめたときだいたい「じゃあ dd で焼いてみて？」って言うと解決する

目を離すとすぐ

不老不死ではない

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

@neso まるで元は平民ではなかったかのような誤解だ

ブログかいた >> 計算機科学（一部分野）の論文の探しかた・投稿先の探しかた - https://orumin.blogspot.com/2019/05/blog-post.html

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

@neso 感覚だけじゃなくて真正に庶民なのですが

@neso はい

@yomi 少なくとも私の手元だと，高速スタートアップオフにした覚えはないけどそれやって BSoD になったことはないなあという感じ

@neso あの！私庶民！庶民しかアクセスしないような口座しかもってない！

@neso 私がアクセスできない口座やめて！

@neso こういうとき Wikipedia の日本語版わりと止まったりしてること多いから英語版の Wikipedia みるか，そもそも ArchWiki みると良いよ！

@neso Compiz Fusion はそもそもその目的を終えて Compiz のコア開発に合流してるからなあ……。 https://github.com/compiz-reloaded/compiz-plugins-main Compiz Fusion が管理してた plugin もこっちに。

アだ

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

@neso Wikipedia にも 2016 年って書いてあって 2009 年ではなくない https://ja.wikipedia.org/wiki/Compiz#cite_note-1

C で書かれてたのが v0.8.x で，現行の開発版（C++ rewriting）が v0.9.x，2009 年で止まってるというのは v0.8.x のほうですね（それはそう）

でもまだ 1.x には到達してないのね。

だれや compiz の更新がないとかいうたん

なんだ最近もまだ開発されてるじゃん >> https://github.com/compiz-reloaded/compiz/

compiz fusion は C で書かれてたのが 6 年ぐらい前にいっきに C++ で書き直されてた時期があってあのときはコード開発活発だった

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

@metalefty わかる

@neso 実は Cube じゃなくて wall にしたりすると自由度高い WM として Xfce の xfwm を置き換えられるというそこそこ実用的な理由あったりするのよな

しばらく Xfce + compiz で生活してたけど compiz は cube じゃなくて wall にしてたので，今の GNOME とかだと普通にやってる仮想デスクトップをたくさん並べられる！というだけだったのよな

あくまでモデルケースとしてのコードなんで実用よりも面白さ重視で 3D cube なデスクトップとかなんだよな

bitmap な描画しか出来ない WM しかなかったころの DE に WM として差し込んで遊ぶ，という PoC ぐらいの意味が強い気がする > compiz

bitmap の Blt ではなく DirectX や OpenGL の texture としてウィンドウを描画して composit するタイプの compositor 型デスクトップの流行り，というのが 2000 年代前半にあって，走りは Mac OS X の Aqua だと思うし Windows Vista の dwm でもあるのだけれども，OSS 界隈もそれに乗ったのが compiz で，いまは KDE や GNOME の WM が compositor になってるので compiz の役割はもう終わちゃったんだよな

ネットアイドルでもないです

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

@omasanori これみて https://www.archlinux.org/packages/community/x86_64/openmotif/

「ちぃ覚えた」は CLAMP の『ちょびっツ』だが「覚えましたし……」は Twitter のキュー子というマルコフ連鎖 bot

ちゆではない

りささんは怖い……ちぃ覚えましたし

でも正直 KDE のフラクタルやボール大好き（なぜならこういうバカが好きなので）だったから，よく設定してました

あと KDE の bounce ball も完全に謎で，デスクトップ上に物理シミュレーションを計算しながら描画される謎のボールが出現する（自由落下や反射が計算されるのだが，はっきりいってこのボールが常に最前面にあるのは邪魔）

自己紹介ではない（若者だから……

KDE4 の開発チームはバカだったのか KDE4 の壁紙をフラクタルに設定するとなぜか常にその場で計算されたフラクタルが描画されてた（なので拡大や縮小ができる謎の壁紙）

Motif や CDE というモノが何か通じちゃうのおじいちゃんっぽさある

Windows 8 の正式版がリリースされはじめたのは 2012/08/01 だけど，同じ月に Metro の名称は訴訟のため取り止めていて，Modern UI という呼び名が非公式にそのころから使われていたけど，確定したのは Windows 8 についての MSDN のブログで同年の 10 月に Modern UI と書かれたときっぽい

@omasanori おじいちゃん，8 が release される前に Modern UI に名前変わったでしょ（）

@omasanori Microsoft が Windows8 の時出したガイドラインもかなりキチっとしてて流石長年 UI 研究してるだけあるなって感じした（そのガイドラインに沿うことが必須なストアアプリ，まるで増えないが……。）

OEM の壁紙で言えば ThinkPad のはそこそこセンス良かったし現行の VAIO のもそんなダサくないのでやっぱり変えず使ってるのであった。

ハードウェアとソフトウェアが一体化した製品として出荷している，という観点で言えばハイブリッドシャットダウンは完全に正しいしわりとイチャンモン感ある

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

私の AtCoder の履歴みたら，レートがなかったころに数回ちょろっとやってすぐ放置しちゃったっぽくて，コンテストの履歴が 4 月に久々にログインした 1 回しかないしレートも計測不可能になっててワロタ

Beta や Preview 含めて壁紙まとめてる

わかりやすいブログみつけた，便利じゃん >> http://memoonline.blog.fc2.com/blog-entry-55.html

実は Windows 8 は Preview のときの金魚のやつかなりかわいいとおもってる

たぶんするすすさんが貼ったのは 8 じゃなくて 8.1 やね