22:37:43 @orumin@mstdn.maud.io
icon

なるか、ナイアルラトホテップに

22:03:17 @orumin@mstdn.maud.io
icon

実はペヤングは田舎から出てから初めて食べた

22:03:03 @orumin@mstdn.maud.io
2023-05-31 21:52:22 アカハナの投稿 akahana@fla.red
icon

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

22:02:01 @orumin@mstdn.maud.io
icon

帰化神

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

@objectxplosive わかる

20:46:15 @orumin@mstdn.maud.io
icon

“喫煙の自由をめぐる代表的な最高裁判所の判例に、「被拘禁者の喫煙の禁止」について争われた最高裁昭和45年9月16日大法廷判決があります。”

「喫煙者は不採用」から考える企業の採用の自由と人権 | 虎ノ門法律経済事務所 名古屋支店 | 労働問題 事業継承 遺産相続
https://www.nagoya.t-leo.com/column/%E3%80%8C%E5%96%AB%E7%85%99%E8%80%85%E3%

20:45:30 @orumin@mstdn.maud.io
2023-05-31 20:44:14 もちゃ(あと-16.40Kg)の投稿 mot@mastodon.motcha.tech
icon

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

20:43:24 @orumin@mstdn.maud.io
icon

まあ微妙なとこもなくはないか?

20:43:04 @orumin@mstdn.maud.io
icon

ダマでやるのはともかく、採用基準として公開するのは差別にはあたらないのでは

20:42:29 @orumin@mstdn.maud.io
2023-05-31 20:42:01 もちゃ(あと-16.40Kg)の投稿 mot@mastodon.motcha.tech
icon

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

20:42:28 @orumin@mstdn.maud.io
2023-05-31 20:31:07 きゅいず aka YZOXの投稿 kyuizu@fedibird.com
icon

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

18:54:30 @orumin@mstdn.maud.io
2023-05-31 18:51:12 "ζ"の投稿 zetamatta@mstdn.jp
icon

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

18:43:50 @orumin@mstdn.maud.io
icon

トヨタが異形の「新型自転車」発表! ヤマハ製モーター搭載で荷物をガンガン運搬 仏でカーゴバイクを発売する背景は? | くるまのニュース
https://kuruma-news.jp/post/602556

Web site image
トヨタが異形の「新型自転車」発表! ヤマハ製モーター搭載で荷物をガンガン運搬 仏でカーゴバイクを発売する背景は?
18:22:05 @orumin@mstdn.maud.io
icon

1万円のママチャリも存在はするけど真面目なメーカーの真面目な品質のものを買うともうちょっとする

18:21:42 @orumin@mstdn.maud.io
2023-05-31 18:20:46 砂狼あずにゃんの投稿 osa_k@social.mikutter.hachune.net
icon

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

16:23:09 @orumin@mstdn.maud.io
icon

“Ubuntu Coreは、モノリシックなUbuntuイメージをSnapと呼ばれるパッケージに分割することで(カーネル、OS、アプリケーションを含む)、堅牢性を高め、完全にコンテナ化したUbuntuです。”

(2022/06/21) Canonical Ubuntu Core 22の提供を開始 – IoTと組み込みデバイスに最適化 | Ubuntu
https://jp.ubuntu.com/blog/canonical-ubuntu-core-22%E3%81%AE%E6%8F%90%E4

16:06:52 @orumin@mstdn.maud.io
2023-05-31 15:57:17 えあい:evirifried::evirifried::win98_shrimp:の投稿 Eai@stellaria.network
icon

FundamentalFrequency
github.com/FundamentalFrequenc
かわりにLMN 3作りましょう

16:06:51 @orumin@mstdn.maud.io
2023-05-31 15:55:57 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

Teenage Engineering OP-1 いいなーと思って値段調べて引っくり返った グラボといい勝負するな……

14:16:33 @orumin@mstdn.maud.io
2023-05-31 14:12:58 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

13:58:21 @orumin@mstdn.maud.io
icon

まず私は革新勢力ではない

13:57:52 @orumin@mstdn.maud.io
2023-05-31 13:32:43 アカハナの投稿 akahana@fla.red
icon

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

13:57:49 @orumin@mstdn.maud.io
2023-05-31 13:30:20 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

12:46:57 @orumin@mstdn.maud.io
icon

ちなみに kernel の記述などの目的に型付きアセンブリが生み出されたことはある。論文とかで出てる

12:46:24 @orumin@mstdn.maud.io
2023-05-31 12:44:30 瀬良の投稿 shela@mstdn.maud.io
icon

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

12:46:19 @orumin@mstdn.maud.io
icon

そういうことですね

12:44:37 @orumin@mstdn.maud.io
icon

完全に全ての動的型付けがそうだとは思わないけど、少なくとも引き合いに出された Ruby や Python に関してはまあ

12:44:01 @orumin@mstdn.maud.io
icon

静的なプログラムの制約や検査に使える情報を寄越してくれるわけではなくてもシステム自体はあるような

12:42:50 @orumin@mstdn.maud.io
2023-05-31 12:37:06 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

アプリオリに数理的な理論背景を与えた型システムではないけど、それはべつに静的型付けであっても C なり C++ なり Java なりどれをとってもそうだしなんともだ。勿論、工学的にそのようにあったものに対してそれぞれの型システムはどのようなものか理論的な記述や定義は可能だし部分的に代数型などを後から導入したりはされているものの

12:42:40 @orumin@mstdn.maud.io
2023-05-31 12:38:36 人生たの椎名林檎 a.k.a. びあっこ / たのしい人生の投稿 Biacco42@pawoo.net
icon

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

12:42:10 @orumin@mstdn.maud.io
icon

型システムとして静的型システムとか動的型システムとかがあるわけではないと思うし本当に型システム理解してますかの気持ちになった(型の解決にコンパイル時型情報を使うか実行時型情報を使うかなだけで、静的型付けでも後者はジェネリックと型変数みたいなので実現できるし、動的型付けは暗黙にそのような any 型で宣言されているだけみたいになるはずでは

12:37:06 @orumin@mstdn.maud.io
icon

アプリオリに数理的な理論背景を与えた型システムではないけど、それはべつに静的型付けであっても C なり C++ なり Java なりどれをとってもそうだしなんともだ。勿論、工学的にそのようにあったものに対してそれぞれの型システムはどのようなものか理論的な記述や定義は可能だし部分的に代数型などを後から導入したりはされているものの

12:34:52 @orumin@mstdn.maud.io
icon

あとそもそも「型システム」の定義は難しいので一概に言えないが、べつに python でも ruby でも型システムは存在する(動的なだけ

10:57:33 @orumin@mstdn.maud.io
icon

情報はいつ書かれたかというメタデータ込みでこそ古い情報でも意味を持つので、読み物であっても publish date は欲しい

10:56:16 @orumin@mstdn.maud.io
icon

アカハナさん入籍 RTA スタートです

10:55:57 @orumin@mstdn.maud.io
2023-05-31 10:48:53 アカハナの投稿 akahana@fla.red
icon

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

10:55:56 @orumin@mstdn.maud.io
2023-05-31 10:36:34 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

10:37:07 @orumin@mstdn.maud.io
2023-05-31 10:25:08 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

10:17:03 @orumin@mstdn.maud.io
icon

ええ……

10:16:52 @orumin@mstdn.maud.io
2023-05-31 10:16:05 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

10:16:46 @orumin@mstdn.maud.io
2023-05-31 10:15:39 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

10:16:37 @orumin@mstdn.maud.io
2023-05-31 10:14:35 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

「戦前日本の宗教団体法下では、公認された宗教は、神道、仏教、キリスト教の三教のみであり、非公認の宗教団体は、行政上『類似宗教』と呼ばれた」定義が狭い

https://ja.m.wikipedia.org/wiki/%E6%96%B0%E5%AE%97%E6%95%99

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

やっぱってなに!?

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

よかった

10:13:21 @orumin@mstdn.maud.io
2023-05-31 10:13:09 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

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

なにいってんだこいつの顔

10:13:03 @orumin@mstdn.maud.io
2023-05-31 10:12:48 アカハナの投稿 akahana@fla.red
icon

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

10:12:44 @orumin@mstdn.maud.io
icon

おるみんさんは人です

10:12:33 @orumin@mstdn.maud.io
2023-05-31 10:10:33 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

10:12:18 @orumin@mstdn.maud.io
icon

しかし新々宗教に限ると新宗教の天理とかが除外されちゃうか

10:11:23 @orumin@mstdn.maud.io
icon

新々宗教に限りたいんだろうけど、そう書くべきである

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

大概の人「宗教 n 世」なんだよな

10:10:32 @orumin@mstdn.maud.io
2023-05-31 09:50:36 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

00:20:20 @orumin@mstdn.maud.io
icon

Raspberry Pi Zero W に入れた homebridge raspbian が switchbot plugin の upgrade で一生失敗する

00:17:54 @orumin@mstdn.maud.io
icon

ルネサス、高専卒を初採用 半導体人材は争奪戦 | 共同通信
https://nordot.app/1036222823939195108

Web site image
ルネサス、高専卒を初採用 半導体人材は争奪戦 | 共同通信