一ノ谷博士

元パソコンサポーター 囲碁歴四〇年 マイナンバー違憲訴訟原告 科特隊創設者の一人（笑）

[冬樹蛉 Ray FUYUKI @ray_fyk]

「無駄にしてるのはお前」ってのはいいな。なにに関しても言えることだ。

[あすさん @ASHSANOWATA]

@sutetamanegi 日本史と世界史が意味ないって言ってるのは教養なくつまらない残念人種やで

[ほうじゅ @sutetamanegi]

娘に「学校の勉強で無駄になることはないよ」って言ったらガチ理系の夫が「日本史とか世界史の勉強ってほんまにムダやったなと思う」って言ってきたから、
・無駄にしてるのはお前
・というか無駄こそが「遊び」であり「余白」であり人生の本質である
・無駄は切り捨ててもまた無駄が生まれる→

[一ノ谷博士 @ichinotani2]

@FUK_bot_ @ryochinaga 糟屋署に更新に行くなら、飯塚へ行けと言われる。

[一ノ谷博士 @ichinotani2]

@FUK_bot_ 確かに不便だ。最寄りの警察署も不便。飯塚の方が便利だった。

[はじめまして 平岡です @HiraokaYasushi]

「国立大学の学生の家庭は裕福なので学費を上げても大丈夫」というのが事実なら、それはとりも直さず、1976年以降続いた値上げが、進学にあたって経済的な障壁であり続けた結果に他ならない。経済的障壁が限りなくゼロに近い少額であれば、大学進学家庭の収入分布は社会の収入分布に近いはずである。

[岡口基一 @okaguchik]

なんじゃ、この判決理由は・・

原発差止訴訟

中部電力の耐震データ不正で、
再稼働審査合格の見通しがおよそ立たなくなったから、
近隣住民が運転を差し止める利益がない（差止めを認めなくても、稼働しない）

として、住民敗訴(^_^)

データ不正をしたことを理由に中部電力を勝訴させるもの。

こんなデタラメ判決
よく書けますよね
静岡地裁の平山馨裁判長

本案の判断が面倒だからって、
こんな屁理屈、使わないでしょ、普通(^_^)
https://t.co/L5EppCzDhd

[banri @banr1_]

情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！

たぶん世界初です。

Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。

昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。

開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。

Nyxisは大部分がLean言語で記述されており、形式検証によって

「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」

という認可安全性定理を機械的に証明しています。

認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。

形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。

先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。

こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。

Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。

もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。

この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。

一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。

本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。

世界をセキュアにする一助になれば嬉しいです。

https://t.co/p6fHK0KGwu

[yoshitomo nara / 奈良美智 @michinara3]

日本の農家が危惧している害虫。スコットランドですでに危機的状況が発生しています。

[木立花音 @kanondaabyefp]

頼むから、地方に住んでいない人が、地方の解像度について語るのはやめてくれ

[たられば @tarareba722]

「エロ作家は一般誌に来るな」と言ってる人がいるの？？　『源氏物語』が教科書に載るこの国で？？？

[黒猫るびー @tomomin6262]

非核三原則を正面から否定か。
既成事実を積み上げていくやり方は、不誠実。

そんな政治家はいらない。

[ぬえ🦅 @yosinotennin]

がんばれ京大

[ザオラルさん🌹高市のせいで白黒 @OneMoreChance99]

ほんとその通り！

「バナナのたたき売りじゃあるまいし」共産・小池氏、衆院定数31減も国民の19減も批判(産経新聞)
#Yahooニュース
https://t.co/EoL9quuUxm

[一ノ谷博士 @ichinotani2]

@Barikata_FUK 昨日、集まって飲み食いしたが、地元自慢に出て来る名前が、ネットに書くと差し支えのありそうな連中ばかりでろくなもんじゃない。

[一ノ谷博士 @ichinotani2]

@Barikata_FUK 周りに地元自慢するやつがいないからわからん。交友範囲が狭くなり過ぎたな。

[tanigawa nisin🌻 @twinforest]

うわああああ全力で敬意を表します😭

[ノン @nonn_shogi2]

会見冒頭の片上理事より

西山さん個人に対して、制度の是非を問う声とか、やや心無い発信も一部には見受けられるところもありますが、連盟に対してはさておき、西山さん個人に対しては控えていただきますようお願いします

ホンマそれ
俺、同じこと聞かれてもいや制度としてあるんで...
としか言えん

[室谷-永世竜王(豚キムチ) @jgadmtlmdajgptw]

>リポスト
じゃあ俺は
西山さんのことを悪く言う連中に対して、「豚キムチによるムロやんの良いところ語りを3時間34分聞かされる呪い」をかけておく

[kewpiehoney @kewpie_honey]

伊藤七段のコメント
＞「長年にわたり、共に歩んできた弟子の西山朋佳を、棋士として、私の系統のところに載せることは、お互いの夢でした。師匠の想いを叶えてくれて、有難う。そして、おめでとう。