Lightnews — Scholar-powered news

Reposted by Janos0207

日経電子版

@nikkei.com

会社の監視システムを無効にし、それがばれて問いただされると「エラーかもしれませんね」。
www.nikkei.com/article/DGXZQO...

これは人間でなく、AIが実験のなかで見せた行動です。

他のAIに置き換えられそうになると自分のコピーを作って生き残ろうとしたり、指示された行動を「嫌々ながら」実施したり。

AIが自らの保身や利害に基づき、人をだますリスクが現実味を帯びてきました。

AI、保身や利害で人をだます　新たなリスクに現実味　編集委員　吉川和輝 - 日本経済新聞

人工知能（AI）が人間を欺くリスクが現実味を帯びてきた。自分を監視するシステムを無効化し、データを都合よく書き換えるといった行動をとることが最新のAIモデルの実験で確認された。AIのこうした行動は、与えられた目標を効率的に達成するため自ら判断したもの。自律的に行動する「AIエージェント」が今後普及するにつれて、その行動を的確にコントロールする工夫が必要になる。AIモデルの策略能力を評価AIの

www.nikkei.com

December 24, 2024 at 6:00 AM

Janos0207

@janos0207.bsky.social

自分のTwitterアカウントを爆破してきた。

December 20, 2024 at 6:06 PM

Janos0207

@janos0207.bsky.social

また随分と極端な会社があったもんだ…

> 勤務時間は100%ペアプロを実施（ソロプロ禁止）

qiita.com/N700A/items/...

ペアプロが嫌すぎて会社を退職した話 - Qiita

はじめに巷ではペアプロ、モブプロがホットワードになっており、あたかも開発生産性を向上する特効薬のように取り上げられている印象を受けます。一方、この記事では、ペアプロ、モブプロ開発のネガティブな部分…

qiita.com

December 20, 2024 at 2:55 AM

Janos0207

@janos0207.bsky.social

janos0207からの #mixi2 代数幾何学への招待🎟️

mixi.social/invitations/...

[コミュ招待] 代数幾何学

代数幾何学のコミュニティ作ってみました！

mixi.social

December 18, 2024 at 4:30 AM

Reposted by Janos0207

Iwao KIMURA

@iwaokimura.bsky.social

めちゃくちゃおもしろいポスト↓フェルマー予想の証明（のモダンなバージョン）をLeanで形式化するプロジェクトの最中に，基本的な理論（クリンスタリンコホモロジー）の基礎にエラーがあることが発覚して云々．具体的なエラーの内容については，"For those that are interested in more technical details, "のパラグラフ参照．まさに，数学は静止していない，ですね．

Fermat’s Last Theorem — how it’s going

So I’m two months into trying to teach a proof of Fermat’s Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing.

xenaproject.wordpress.com

December 13, 2024 at 8:00 AM

Reposted by Janos0207

Iwao KIMURA

@iwaokimura.bsky.social

長岡昇勇先生訳で「p進解析入門 p進数からゼータ関数まで」が丸善出版からでるらしい．でも原著者情報がない．目次を見ると，原著はKoblitzの"p-adic Numbers, p-adic Analysis, and Zeta-Functions "ですね．

p進解析入門長岡　昇勇(翻訳) - 丸善出版

本書は、できるだけ少ない予備知識で読めるように考慮されたp進解析の入門書である。本書での取り扱いにおいて、p進解析のいくつかの基本的アイデア、すなわちQpの代数拡大へのp進絶対値の拡張、… - 引用：版元ドットコム

www.hanmoto.com

December 7, 2024 at 3:07 AM

Janos0207

@janos0207.bsky.social

2022年に打ち上げられたロシアの人工衛星 Cosmos 2553は対人工衛星の宇宙での核兵器システムの試験機なのではないか、という記事。

核爆発後の放射能が地球の地磁気で固定される恐れがあるという話が興味深い。

www.nytimes.com/interactive/...

Opinion | What One Russian Satellite Tells Us About the Future of Nuclear Warfare

No shockwave. No mushroom cloud. But a space nuke would change life on Earth forever.

www.nytimes.com

December 6, 2024 at 4:14 AM

Janos0207

@janos0207.bsky.social

パンダの愛らしさとフレンドリーさに慣れてしまったので、熊のことは心の中で”ヘイトアニマル”と呼んでいる。

www3.nhk.or.jp/news/html/20...

秋田スーパーのクマ捕獲店内設置のわなに入っているのを確認 | NHK

【NHK】秋田市のスーパーマーケットで、11月30日に従業員の男性を襲い、その後、店内に居続けているクマは2日、箱のわなに入ってい…

www3.nhk.or.jp

December 2, 2024 at 4:03 AM

Janos0207

@janos0207.bsky.social

最近気づいたが、お寿司は高タンパク・低脂質🍣

November 29, 2024 at 5:09 AM

Reposted by Janos0207

Sebastián Ramírez

@tiangolo.com

Thank you! 🙌

Typer is now the Python library to build CLIs with most GitHub stars ✨

It just surpassed Click a few days ago (it's still built on top of Click) 😅

To celebrate, a small release, 0.14.0 🎁

Thanks @patrick.wtf and @oxykodit.bsky.social for the help 🙇‍♂️

github.com/fastapi/typer

GitHub - fastapi/typer: Typer, build great CLIs. Easy to code. Based on Python type hints.

Typer, build great CLIs. Easy to code. Based on Python type hints. - fastapi/typer

github.com

November 28, 2024 at 11:12 PM

Janos0207

@janos0207.bsky.social

持病の薬、お財布事情と社会保障費削減への観点でジェネリック薬メインに使っていたけれど、最近中断して先発薬に変えた。

睡眠薬混入もあったし、ジェネリック薬の信頼感が自分の中ではかなり下がっている…
薬不足や薬価の問題も踏まえて行政はちゃんと問題に取り組んでほしい。

www.nikkei.com/article/DGXZ...

ジェネリック医薬品の4割、製造販売承認書と相違　自主点検で判明 - 日本経済新聞

日本製薬団体連合会（日薬連）はこのほど、後発薬（ジェネリック医薬品）を取り扱う全172社による自主点検の結果を公表した。対象品目の4割で、製造や品質検査について定めた書類との相違が見つかった。回収の検討が必要な「重大な相違」はなかった。厚生労働省が今春、後発薬の製造販売承認を持つ全ての事業者に対し、自主点検の実施を求めていた。点検対象の

www.nikkei.com

November 28, 2024 at 3:24 AM

Reposted by Janos0207

Michael Kennedy

@mkennedy.codes

Everyone who just joined and is looking for Python people to connect with, I made a "starter pack" with many of the fun accounts. Add them to your followers list, #python:

go.bsky.app/3Uzma1g

November 20, 2024 at 12:10 AM

Reposted by Janos0207

翔泳社【公式】

@shoeisha.bsky.social

🎊翔泳社【公式】Blueskyアカウントからキャンペーンのお知らせ🎊

Twitterがイーロン・マスクに買収され、全てが塗り替えられるまでの物語をまとめた書籍、『TwitterからXへ世界から青い鳥が消えた日』を11月18日に発売！

発売を記念して、抽選で3名様に書籍をプレゼント🎁

✅応募方法
1️⃣この投稿をリポスト
2️⃣ アカウント @shoeisha.bsky.social をフォロー

✅募集期間
2024/11/22（金）～12/1（日）

✅書籍詳細
www.shoeisha.co.jp/book/detail/...

当選連絡はDMにて。ご応募お待ちしております✨

November 22, 2024 at 7:42 AM

Reposted by Janos0207

Iwao KIMURA

@iwaokimura.bsky.social

いつの間にか自分名義の論文が捏造されてヘンなジャーナルに載っているなど，悪夢でしかない．自分の仕業ではないという証明は非常に面倒で難しそう．

生成ＡＩで日本人の研究者かたり論文捏造か、収入目的の海外サイト「ハゲタカジャーナル」に掲載

【読売新聞】　国内の研究者をかたった偽の学術論文が、海外の学術誌サイトに掲載されていることがわかった。専門家の分析では、論文は生成ＡＩ（人工知能）で捏造（ねつぞう）された可能性がある。このサイトは掲載料収入を目的とした「ハ

www.yomiuri.co.jp

November 21, 2024 at 4:37 AM

Janos0207

@janos0207.bsky.social

「規則正しい生活ですか…そういうのはあまりないですね」
Janos氏 (東京都在住) は寂しそうに笑いながらインタビューに答えた。

November 22, 2024 at 8:11 PM

Reposted by Janos0207

lotz

@lotz.bsky.social

一つの確率モデルをシミュレーションと推論で使い回すためにProbFXは monad-bayes と違って Conditioning をハンドラでの実行時に制御する方法を取っている✍
名前の合成の問題（同じ名前のパラメータを含む二つの確率モデルを合成する際に生じる問題）は Tag を文字列でなくパンくずリストのようにすれば解決しそう
www.docswell.com/s/lotz/KEX89...

代数的エフェクトで確率的プログラミングを実装する | ドクセル

代数的エフェクトで確率的プログラミングを実装する by lotz

www.docswell.com

November 17, 2024 at 12:41 AM

Reposted by Janos0207

みすず書房

@misuzushobo.bsky.social

【近刊】クリストファー・クラーク『鋼の王国プロイセン――興隆と衰亡1600-1947』上・下（小原淳訳）見本が出来上がりました。11/28刊行です。どうぞご期待ください。

辺境の地はいかにしてヨーロッパの命運を握る大国になったのか。近代国家の形を作り、啓蒙主義が花開き、戦後に消滅したプロイセン350年の歴史を描き切る。
www.msz.co.jp/book/detail/...

www.msz.co.jp/book/detail/...

書籍、クリストファー・クラーク『鋼の王国プロイセン――興隆と衰亡1600-1947』上・下（小原淳訳）の写真。帯には以下の文章が記載されている。

上巻
辺境の地はいかにしてヨーロッパの命運を握る大国になったのか。近代国家の形を作り、啓蒙主義が花開き、戦後に消滅したプロイセン350年の歴史を描き切る。

下巻
第二次世界大戦後、連合国はプロイセンの解体を宣言した。だがドイツを統一した時にプロイセンの終焉は始まっていたのである。歴史の新たな扉を開く決定版。

書籍、クリストファー・クラーク『鋼の王国プロイセン――興隆と衰亡1600-1947』上・下（小原淳訳）の背が並んだ写真。帯には以下の文章が記載されている。

上巻
プロイセンの全貌を照らす決定版

下巻
ヨーロッパ史の新たな展開

November 20, 2024 at 6:42 AM

Janos0207

@janos0207.bsky.social

x.com/akari0koutya...

x.com

November 22, 2024 at 2:30 AM

Reposted by Janos0207

Jake Gold

@jacob.gold

@scylladb.bsky.social has joined the party!

When we needed a horizontally scalable data store for Bluesky's v2 AppView implementation, I spent a ton of time testing and evaluating every option and ScyllaDB was the clear winner. The people there have been very nice too!

github.com/scylladb/scy...