kinaba

28.3K posts

kinaba banner
kinaba

kinaba

@kinaba

やるきがでない

品川区 Katılım Haziran 2008
2.6K Takip Edilen3.5K Takipçiler
kubo39
kubo39@shitsyndrome·
これ2位はなんだったのかずっと考えている 現代だとまた違った選考になりそうだけども
kinaba@kinaba

@nooyosh 第一位は "Exceptional C++" http://bit.ly/5h0OFm で第三位は "Effective Java" http://bit.ly/6Jye8b というのが僕の中での定説ですが、この二冊はどっちか片方読めばいいような気もします。

日本語
1
0
1
584
kinaba
kinaba@kinaba·
毎週のツインビーパラダイスのラジオドラマ部分は、サリュートの声が楽しみで聴いていた記憶がよみがえりました。合掌…
日本語
0
0
1
689
kinaba
kinaba@kinaba·
一生こういう細かい手続き的な間違いを踏みまくって生きている人間としては、こういうフェイルセーフさが大変ありがたいので、私が世界征服することがあったらローソンのセルフレジ的思想で世界を覆い尽くそうと思うんですけど、 しかしそれはそれとして、いや使いにくいだろ、いうのはすごいわかる。
日本語
2
146
1K
87.7K
kinaba
kinaba@kinaba·
ローソンのセルフレジについて考えている。好きなので。 強い思想が感じられるんですよね。間違えることができないシステムこそが良いシステムだ、という。現金しかないのにセルフレジスキャン開始してしまうことができない。会計終わってからレジ袋代払ってないと気づくことができない。
日本語
47
793
5.7K
1.2M
kinaba
kinaba@kinaba·
池上君の本だ!目次だけでもう楽しそう。超買います 公理的集合論への一歩|日本評論社 nippyo.co.jp/shop/book/9736…
日本語
1
11
39
3.8K
kinaba
kinaba@kinaba·
arxiv.org/abs/2602.07868 ICALP'26 疎なグラフで単一始点最短路 O(n √(log n log log n)) になったらしい。sorting barrier が突破されてから (x.com/kinaba/status/…) どんどん速くなるなあ。そろそろちゃんと枠組み理解しとこう
kinaba@kinaba

arxiv.org/abs/2307.04139 Dijkstra最短路他様々なグラフアルゴリズムは最終的にノードを**近い順に出力してしまう**のでソートの計算量下限nlognが現れてしまい遅い。各点への最短路長さは求めるが順番には出力しない(できない)アルゴリズムで下限を突破する!!、みたいな話が最近あるのか面白い。

日本語
0
18
105
18.4K
kinaba
kinaba@kinaba·
砂丘です
kinaba tweet mediakinaba tweet mediakinaba tweet media
日本語
0
0
12
656
kinaba
kinaba@kinaba·
@gachacomplete もしかしたら読んだけどデルウハ殿に記憶消されてたのかもしれない…
日本語
0
0
1
211
がちゃぴん先生
がちゃぴん先生@gachacomplete·
@kinaba すいません。kinabaさんなら絶対もう読んでると思ってました
日本語
1
0
0
423
kinaba
kinaba@kinaba·
Thisコミュニケーション jumpsq.shueisha.co.jp/rensai/thiscom… 読み終わったんですけど、こんな滅法ゆがみきった酷い頭脳戦自分の好みどストライクに決まっているし、なぜ誰も教えてくれないんですかもう
日本語
1
1
14
1.5K
kinaba
kinaba@kinaba·
海です
kinaba tweet media
日本語
0
0
9
483
kinaba
kinaba@kinaba·
また今年も1日海で波に打たれるdayを設けないと何も間に合わない感じになってきてしまった
日本語
0
0
5
496
kinaba
kinaba@kinaba·
初等関数というと一般的な定義では代数関数や定数関数をすべて含むので、初等関数全部にはならないらしい、なるほど… (0,1,+-*/,指数対数三角関数の有限合成、とかかと思っていた)
日本語
0
0
1
337
kinaba
kinaba@kinaba·
初等関数を全部作れる複素数版NANDみたいなの作ったよという話 arxiv.org/abs/2603.21852 面白いんだけども複素数を使えば指数関数から三角関数が出るのはまあそれはそう、という感じなので、最後の節にちょっと触れられているけれど、「実数だけだとこういうのは絶対作れない」が示せるのか気になる
日本語
2
55
392
33K
kinaba
kinaba@kinaba·
1/√3 |トイザらス> + 1/√3 |サイゼリア> + 1/√3 |キッザニア> みたいな単語が自分の脳に記憶されている気がする
日本語
0
0
2
785
kinaba retweetledi
ksa 🏴‍☠️
ksa 🏴‍☠️@kosa12m·
Best paper I've read so far this month: All elementary functions (sin, cos, tan, exp, log, powers, roots, hyperbolic functions, π, e, and even basic arithmetic) can be generated from just one binary operator: eml(x, y) = exp(x) − ln(y) …plus the constant 1.
ksa 🏴‍☠️ tweet media
English
91
1.7K
11.2K
1.4M
kinaba
kinaba@kinaba·
白、青、緑
kinaba tweet media
日本語
0
0
10
517
kinaba
kinaba@kinaba·
緑、白、青
kinaba tweet media
日本語
0
0
10
457
kinaba
kinaba@kinaba·
何ら問題になるような何かとは元より思わないのだけど、それはそれとして、世代ギャップを思い知らされてしまった。「知らないことなんてある!?」てなってしまうんだけど、自分とトップランナーの研究者世代だと10年は飛ぶものなあ。話がちゃんとついて良かったです。
Takuya Akiba@iwiwi

本件、個人的にとても反省しております。 Sakana AIでは魚に関連した日本語をプロジェクト名に利用する慣習があります。本プロジェクトについて初期に暫定的につけた名前がNamazuでした。その後、リリースに当たって様々な正式名称案を広く検討しましたが、商標調査・人気投票・ステークホルダー間の 議論等の過程を行き来し(これはとても難航しました)、最終的にNamazuだけが候補に残りました。恥ずかしながら、我々の大部分は全文検索システムNamazuを存じ上げておりませんでした。会社全体がNamazuという名前でリリースされることを数ヶ月前から認識していましたが、名前について懸念する声は上がりませんでした。 今回の指摘を受けて、個人的にも改めて調査をさせて頂きました。世代的なギャップもあり、最初はピンと来なかったのですが、全文検索システムNamazuは90年代後半から日本のウェブを支えた重要な存在であることをやっと実感することが出来ました。また、大きな感銘を受けたのが、作者の高林哲さんについて知ることが出来たことです。私は技術書をじっくり読むのがとても苦手な性格をしており、ちゃんと読んだ認識のある技術書は多くありません。高林さんは、そんな私が何度も開いた数少ない思い出の技術書の1つ「Binary Hacks」の著者でもある、ということを今更ながら知るとともに、敬意・感謝・申し訳なさがとても強まりました。(Binary Hacksに関する私の2024年のポスト: x.com/iwiwi/status/1… ) 高林さんに直接ご相談し、名称変更の覚悟も含めてお詫びを差し上げたところ、名称は問題視せず、また身に余る応援のお言葉を頂きました。自分の至らなさを反省するとともに、今後も精一杯頑張ります。

日本語
0
10
36
8.4K