22:37:43
icon

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

22:03:17
icon

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

22:03:03
2023-05-31 21:52:22 Posting アカハナ akahana@fla.red
icon

This account is not set to public on notestock.

22:02:01
icon

帰化神

20:47:28
icon

@objectxplosive わかる

20:46:15
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
2023-05-31 20:44:14 Posting もちゃ(あと-13.60Kg) mot@mastodon.motcha.tech
icon

This account is not set to public on notestock.

20:43:24
icon

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

20:43:04
icon

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

20:42:29
2023-05-31 20:42:01 Posting もちゃ(あと-13.60Kg) mot@mastodon.motcha.tech
icon

This account is not set to public on notestock.

20:42:28
2023-05-31 20:31:07 Posting きゅいず kyuizu@fedibird.com
icon

This account is not set to public on notestock.

18:54:30
2023-05-31 18:51:12 Posting "ζ" zetamatta@mstdn.jp
icon

This account is not set to public on notestock.

18:43:50
icon

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

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

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

18:21:42
2023-05-31 18:20:46 Posting 桜井政博 osa_k@social.mikutter.hachune.net
icon

正直ママチャリは1万円くらいだと思っていたのでビビって二の足を踏んでしまったところある

16:23:09
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
2023-05-31 15:57:17 Posting えあい:straight_shrimp:🦐:win98_shrimp: Eai@stellaria.network
icon

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

16:06:51
2023-05-31 15:55:57 Posting kb10uy kb10uy@mstdn.maud.io
icon

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

14:16:33
2023-05-31 14:12:58 Posting Giraffe Beer giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

13:58:21
icon

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

13:57:52
2023-05-31 13:32:43 Posting アカハナ akahana@fla.red
icon

This account is not set to public on notestock.

13:57:49
2023-05-31 13:30:20 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

12:46:57
icon

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

12:46:24
2023-05-31 12:44:30 Posting 瀬良 shela@mstdn.maud.io
icon

This account is not set to public on notestock.

12:46:19
icon

そういうことですね

12:44:37
icon

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

12:44:01
icon

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

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

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

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

This account is not set to public on notestock.

12:42:10
icon

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

12:37:06
icon

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

12:34:52
icon

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

10:57:33
icon

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

10:56:16
icon

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

10:55:57
2023-05-31 10:48:53 Posting アカハナ akahana@fla.red
icon

This account is not set to public on notestock.

10:55:56
2023-05-31 10:36:34 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

10:37:07
2023-05-31 10:25:08 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

10:17:03
icon

ええ……

10:16:52
2023-05-31 10:16:05 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

10:16:46
2023-05-31 10:15:39 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

10:16:37
2023-05-31 10:14:35 Posting 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
icon

やっぱってなに!?

10:13:24
icon

よかった

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

This account is not set to public on notestock.

10:13:09
icon

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

10:13:03
2023-05-31 10:12:48 Posting アカハナ akahana@fla.red
icon

This account is not set to public on notestock.

10:12:44
icon

おるみんさんは人です

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

This account is not set to public on notestock.

10:12:18
icon

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

10:11:23
icon

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

10:10:58
icon

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

10:10:32
2023-05-31 09:50:36 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

02:02:12
00:20:20
icon

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

00:17:54
icon

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

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