21:53:48 @orumin@mstdn.maud.io
icon

新しいオンライン大学「ZEN大学(仮称)(設置構想中)」の設立へ 日本財団・ドワンゴによる記者発表会 - 2023/6/1(木) 15:00開始 - ニコニコ生放送
https://sp.live.nicovideo.jp/watch/lv341410478

Web site image
新しいオンライン大学「ZEN大学(仮称)(設置構想中)」の設立へ 日本財...
21:42:02 @orumin@mstdn.maud.io
icon

Fabrice Bellard: Portrait of a Super-Productive Programmer
https://smartbear.com/blog/fabrice-bellard-portrait-of-a-super-productiv

Web site image
Fabrice Bellard: Portrait of a Super-Productive Programmer
21:39:19 @orumin@mstdn.maud.io
icon

はっぱネコ

21:39:11 @orumin@mstdn.maud.io
2023-06-01 21:31:56 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

21:39:08 @orumin@mstdn.maud.io
2023-06-01 21:31:24 ちゃーしゅーねこの投稿 charsiuCat@social.mikutter.hachune.net
icon

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

21:12:16 @orumin@mstdn.maud.io
2023-06-01 21:11:15 rootYの投稿 rooty2@mstdn.maud.io
icon

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

21:12:15 @orumin@mstdn.maud.io
2023-06-01 21:11:07 ぼろんじ(100tpt)の投稿 boronology@social.penguinability.net
icon

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

21:10:27 @orumin@mstdn.maud.io
icon

転生、できない

21:10:07 @orumin@mstdn.maud.io
2023-06-01 21:08:28 ぽんこつの投稿 ponkotuy@social.mikutter.hachune.net
icon

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

21:09:51 @orumin@mstdn.maud.io
icon

頭しんでんな

21:09:45 @orumin@mstdn.maud.io
icon

当たらない確率じゃない、当たる確率が 95.24% じゃん

21:07:04 @orumin@mstdn.maud.io
icon

0.0476 を 0.476 で計算してた。アホ

21:06:48 @orumin@mstdn.maud.io
icon

0.97^100 ≒ 0.0476 なので、それ 100 回抽選して当たらなかったのは当たらない確率 95.24 % のほうをひいたということになる、のでまあそれはわりとそうだろうなというところ

21:03:12 @orumin@mstdn.maud.io
2023-06-01 21:00:53 よみたそまるの投稿 yomi@mstdn.maud.io
icon

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

21:01:37 @orumin@mstdn.maud.io
2023-06-01 19:37:46 ロージー / ハトの投稿 rosylilly@best-friends.chat
icon

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

21:01:36 @orumin@mstdn.maud.io
2023-06-01 19:35:05 ロージー / ハトの投稿 rosylilly@best-friends.chat
icon

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

20:55:33 @orumin@mstdn.maud.io
icon

会社の給与計算の締め日と支払い日に関係なく、N 月ぶんの住民税は N 月に徴収して N+1 月 10 日までに納付、が普通のはず。

20:52:59 @orumin@mstdn.maud.io
icon

当月締め当月払いでも当月締め翌月払いでも、住民税の6月ぶんが給与から徴収されるのは暦上の6月の支払いからですね

20:52:05 @orumin@mstdn.maud.io
2023-06-01 20:49:57 ぐすくま@わかりみの投稿 guskma@abyss.fun
icon

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

20:42:32 @orumin@mstdn.maud.io
icon

翌年の住民税から控除なので、あるのでは?

20:42:18 @orumin@mstdn.maud.io
2023-06-01 20:41:07 砂狼あずにゃんの投稿 osa_k@social.mikutter.hachune.net
icon

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

20:40:22 @orumin@mstdn.maud.io
2023-06-01 20:37:49 もふおじ :sadtab:の投稿 pasutisu@mstdn.maud.io
icon

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

20:40:21 @orumin@mstdn.maud.io
2023-06-01 20:37:31 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

20:37:28 @orumin@mstdn.maud.io
icon

Fabrice Bellard、なんでもつよつよプロダクトつくってるからなにやっててても驚き少なめになってきた

20:36:58 @orumin@mstdn.maud.io
2023-06-01 20:36:04 ikejiの投稿 ikeji@ostatus.ikeji.ma
icon

https://bellard.org/ts_server/
Fabrice BellardもLLMとかやってたのか。

20:36:30 @orumin@mstdn.maud.io
icon

普通徴収なら振り込み書類が自治体から届くと思うのでそれを眺めて計算通りかどうかでわかる(振り込み期日等は自治体で異なると思うけどふつうは何回かに分割してその一期目が6月期日の支払いになるはず

20:34:49 @orumin@mstdn.maud.io
icon

そもそもふるさと納税で控除されるのは住民税で、住民税の特別徴収(給与天引き)は6月からだと思うので5月の給与明細見ても何か変わってるはずがないと思いますよ

20:33:33 @orumin@mstdn.maud.io
2023-06-01 20:29:06 ぐすくま@わかりみの投稿 guskma@abyss.fun
icon

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

20:33:27 @orumin@mstdn.maud.io
2023-06-01 19:18:18 ぐすくま@わかりみの投稿 guskma@abyss.fun
icon

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

20:31:14 @orumin@mstdn.maud.io
icon

所得税は過去5年間くらい遡って申告できると思うし、青色申告の人はともかく確定申告なにそれ?な会社員がふるさと納税ぶん追加申告するだけなら手元に源泉徴収票とか一揃えさえあれば一瞬で終わるし難しくもないので確定申告やってしまえばよいと思う > ふるさと納税申告忘れ

20:18:31 @orumin@mstdn.maud.io
2023-06-01 20:16:25 上海蟹七咲の投稿 SHC7saki@mstdn-bike.net
icon

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

20:18:14 @orumin@mstdn.maud.io
icon

@charsiuCat ちなみにservice mode バッテリーのほうは JigKick battery、特定のブロックに IPL (initial program loader) を書いて jigkick battery 挿入時に memory stick に書いた firmware から起動できるようにした ms が magic memory stick で、このふたつの総称が pandora のはず?

20:14:47 @orumin@mstdn.maud.io
icon

@charsiuCat それに最近は製造責任的にセキュリティアップデートとかバグフィックスは必須の時代なのでなー。

20:13:57 @orumin@mstdn.maud.io
icon

@charsiuCat PSP のバッテリーにすら NAND フラッシュと制御のファームウェアぐらいはあったわけで、しかも PSP 側から ID 書き換えて service mode 用のバッテリーにつくりかえて本体ファームウェア書き換え、とかやってたので、そこから 20 年近く経ってて USB-PD がそうなってないわけがない気はする

20:11:32 @orumin@mstdn.maud.io
icon

未だにプリズムガラスの由緒正しき一眼レフと中判を主力にしてるあたり、ニッチで生き残っていくというよりは既にニッチで生き残ってきた結果みたいなところがある

20:09:52 @orumin@mstdn.maud.io
icon

E マウント以外もあるぜ!()

20:09:36 @orumin@mstdn.maud.io
2023-06-01 20:08:33 ぽんこつの投稿 ponkotuy@social.mikutter.hachune.net
icon

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

20:09:30 @orumin@mstdn.maud.io
2023-06-01 20:09:13 もふおじ :sadtab:の投稿 pasutisu@mstdn.maud.io
icon

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

20:08:51 @orumin@mstdn.maud.io
icon

@akahana そういうところじゃなくて、PENTAX 公式ストアで他社ボディ向けのアダプタとレンズのセットをウリにしはじめたところが「お前もうレンズ屋でやっていく気なんだな?」というところが

20:06:34 @orumin@mstdn.maud.io
icon

@charsiuCat 入ってないとネゴシエーションとかできんのでは

20:05:43 @orumin@mstdn.maud.io
14:04:49 @orumin@mstdn.maud.io
icon

一切皆苦は執着より生まれる、という観念からこういう言葉そのものは仏教に存在する

14:03:55 @orumin@mstdn.maud.io
icon

仏に逢うては仏を殺せ、親に逢うては親を殺せとも言います(違う

14:03:29 @orumin@mstdn.maud.io
2023-06-01 14:02:48 unaristの投稿 unarist@mstdn.maud.io
icon

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

14:01:15 @orumin@mstdn.maud.io
2023-06-01 13:52:02 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

繰り返すが、そもそも仕様として記載が足りない可能性が、とか、所与の仕様より上位の仕様がある中の一部だとかを想定する場合はこれなので個別の現場で考えるべきこと

14:01:09 @orumin@mstdn.maud.io
2023-06-01 13:19:14 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

これに加えて「ただし空配列や nil が渡されたら false or error code を返却せよ、みたいな指定が仕様にあればそうするし、もっと上位の仕様があるアプリ開発ではどうするとより良いかはそれぞれの現場で考えてほしい、out-of-scope なので

14:00:11 @orumin@mstdn.maud.io
icon

下の世代が付き合いで上司と……みたいなときにはもう「上司とカラオケ」の廃れが加速してそうだし(その廃れとも関連するが)ある世代みんなが知ってるオールタイムベストなポップス曲やアイドル、芸能人、芸能、みたいな概念自体が薄れてそう(というか既にそうか)なのでまあどうなんしょ

13:58:37 @orumin@mstdn.maud.io
2023-06-01 13:58:11 遊佐こずえの投稿 kozue@yysk.icu
icon

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

13:57:11 @orumin@mstdn.maud.io
icon

良いエンジニアかどうかでいえばこれではある

13:57:00 @orumin@mstdn.maud.io
2023-06-01 13:56:20 エセ賢者の投稿 MulticolorWorld@ap.jadiunr.net
icon

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

13:56:54 @orumin@mstdn.maud.io
icon

全称量化記号が口にしか見えないの、特定の年代の日本人に起きる現象だ。匿名掲示板がわるい。

13:52:49 @orumin@mstdn.maud.io
2023-06-01 13:52:25 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

> Q. ある映画館では、防犯や視聴体験の観点から、入場要件を満たした荷物しか持ち込むことができません。例えば銃や携帯電話は預けなければなりません。ある人が手ぶらで入場しようとしているとき、入場要件を満たしているといえますか?

畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル
https://blog.3qe.us/entry/2023/05/30/213713

Web site image
畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる
13:47:11 @orumin@mstdn.maud.io
icon

正常系ではあるでしょ

13:45:46 @orumin@mstdn.maud.io
icon

コーナーケースという所ではそうですね。でも実際にそういう渡されかたが有り得るかどうかでいえばめちゃくちゃある、という意味での特殊ケースではない、というところですね

13:44:28 @orumin@mstdn.maud.io
2023-06-01 13:43:39 砂狼あずにゃんの投稿 osa_k@social.mikutter.hachune.net
icon

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

13:40:16 @orumin@mstdn.maud.io
icon

@taka_hvc1 そんなことはない

13:39:54 @orumin@mstdn.maud.io
icon

頑張って git-switch(1) と git-restore(1) に慣れたら git-checkout(1) の使いかたをやや忘れかけている

13:38:40 @orumin@mstdn.maud.io
2023-06-01 13:19:15 Masaki Haraの投稿 qnighy@qnmd.info
icon

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

13:32:18 @orumin@mstdn.maud.io
2023-05-31 12:32:31 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

当然、プロダクト品質の高い安全でソリッドな設計・実装のためには前者を踏まえた上で engineering に視点や手法を取り入れるべきだけど、簡単なツールやオモチャを作るだけの目的の人にそういう話をしはじめるのはおかど違いってもんであるよ

13:32:15 @orumin@mstdn.maud.io
2023-05-31 12:31:10 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

プログラムを数理的な問題解決の記述法と捉えるか、工学的な機械の操作記述法と捉えるかで perspective が異なると思うけど、多くの人は後者を求めてるのであって、前者を教えようとしてもまず興味を持ってもらえないのでは。数学の講義が好きだったとかつらつら証明や公理系を滔々と読み上げるだけだった講義でも楽しめた人ならいいけど、世の多くはそうではない。

13:28:05 @orumin@mstdn.maud.io
icon

配列の概念があって空配列つくれないなんてことはないと思うし、C とかでも null じゃなくて空の配列渡すことも普通にあるはず(BASIC の array くらいまで行くと自信はないから存在しないとまで断言できない

13:27:05 @orumin@mstdn.maud.io
2023-06-01 13:26:47 ぽんこつの投稿 ponkotuy@social.mikutter.hachune.net
icon

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

13:27:01 @orumin@mstdn.maud.io
icon

そもそも「プログラム」は数学の話ではある

13:26:38 @orumin@mstdn.maud.io
2023-06-01 13:21:47 かぐらの投稿 taka_hvc1@social.mikutter.hachune.net
icon

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

13:13:10 @orumin@mstdn.maud.io
icon

初耳なんだよなあ

13:13:04 @orumin@mstdn.maud.io
2023-06-01 13:12:39 rootYの投稿 rooty2@mstdn.maud.io
icon

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

13:10:43 @orumin@mstdn.maud.io
icon

越南人は𡨸喃を捨ててしまったしなあ。まあローマ字綴りでもアクセント記号とか使うから完全に 7-bit の ASCII 文字種だけで記述できないかもだが(トライグラフもどきみたいなので代替はできそう

13:08:22 @orumin@mstdn.maud.io
icon

(計算機)エンジニアに限らず漢字廃止論やローマ字綴り推進は 100 年以上の歴史があるのでまあ……。

13:07:30 @orumin@mstdn.maud.io
2023-06-01 13:06:31 АнамезонСудно☢No Nuke, No Lifeの投稿 AerospaceCadet@mstdn.jp
icon

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

13:07:17 @orumin@mstdn.maud.io
icon

「中には誰もいませんよ」

13:07:04 @orumin@mstdn.maud.io
icon

??????

13:07:01 @orumin@mstdn.maud.io
2023-06-01 13:06:26 かーの投稿 otakan@hota.hirachon.otakan.jp
icon

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

13:06:59 @orumin@mstdn.maud.io
2023-06-01 13:06:10 かーの投稿 otakan@hota.hirachon.otakan.jp
icon

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

11:02:13 @orumin@mstdn.maud.io
icon

1940 年に生きてらっしゃる方?

11:01:55 @orumin@mstdn.maud.io
2023-06-01 10:24:46 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

08:00:43 @orumin@mstdn.maud.io
icon

いいですなー

08:00:37 @orumin@mstdn.maud.io
2023-06-01 07:31:07 おいも :verified:の投稿 oimo@wizarding-world.icu
icon

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

08:00:36 @orumin@mstdn.maud.io
2023-06-01 07:30:57 おいも :verified:の投稿 oimo@wizarding-world.icu
icon

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