22:37:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:03:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:03:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 21:52:22 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
22:02:01
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:47:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:46:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
「喫煙者は不採用」から考える企業の採用の自由と人権
20:45:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 20:44:14 もちゃ(あと-13.60Kg)の投稿
mot@mastodon.motcha.tech
このアカウントは、notestockで公開設定になっていません。
20:43:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:43:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ダマでやるのはともかく、採用基準として公開するのは差別にはあたらないのでは
20:42:29
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 20:42:01 もちゃ(あと-13.60Kg)の投稿
mot@mastodon.motcha.tech
このアカウントは、notestockで公開設定になっていません。
20:42:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 20:31:07 きゅいずの投稿
kyuizu@fedibird.com
このアカウントは、notestockで公開設定になっていません。
18:54:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 18:51:12 "ζ"の投稿
zetamatta@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
18:43:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
18:22:05
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
1万円のママチャリも存在はするけど真面目なメーカーの真面目な品質のものを買うともうちょっとする
18:21:42
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
正直ママチャリは1万円くらいだと思っていたのでビビって二の足を踏んでしまったところある
16:23:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Canonical Ubuntu Core 22の提供を開始 – IoTと組み込みデバイスに最適化
16:06:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
16:06:51
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Teenage Engineering OP-1 いいなーと思って値段調べて引っくり返った グラボといい勝負するな……
14:16:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 14:12:58 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:58:21
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:57:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 13:32:43 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
13:57:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 13:30:20 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
12:46:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ちなみに kernel の記述などの目的に型付きアセンブリが生み出されたことはある。論文とかで出てる
12:46:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 12:44:30 瀬良の投稿
shela@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
12:46:19
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:44:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
完全に全ての動的型付けがそうだとは思わないけど、少なくとも引き合いに出された Ruby や Python に関してはまあ
12:44:01
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
静的なプログラムの制約や検査に使える情報を寄越してくれるわけではなくてもシステム自体はあるような
12:42:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
アプリオリに数理的な理論背景を与えた型システムではないけど、それはべつに静的型付けであっても C なり C++ なり Java なりどれをとってもそうだしなんともだ。勿論、工学的にそのようにあったものに対してそれぞれの型システムはどのようなものか理論的な記述や定義は可能だし部分的に代数型などを後から導入したりはされているものの
12:42:40
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 12:38:36 人生たの椎名林檎 a.k.a. びあっこ / たのしい人生の投稿
Biacco42@pawoo.net
このアカウントは、notestockで公開設定になっていません。
12:42:10
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
型システムとして静的型システムとか動的型システムとかがあるわけではないと思うし本当に型システム理解してますかの気持ちになった(型の解決にコンパイル時型情報を使うか実行時型情報を使うかなだけで、静的型付けでも後者はジェネリックと型変数みたいなので実現できるし、動的型付けは暗黙にそのような any 型で宣言されているだけみたいになるはずでは
12:37:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
アプリオリに数理的な理論背景を与えた型システムではないけど、それはべつに静的型付けであっても C なり C++ なり Java なりどれをとってもそうだしなんともだ。勿論、工学的にそのようにあったものに対してそれぞれの型システムはどのようなものか理論的な記述や定義は可能だし部分的に代数型などを後から導入したりはされているものの
12:34:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
あとそもそも「型システム」の定義は難しいので一概に言えないが、べつに python でも ruby でも型システムは存在する(動的なだけ
10:57:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
情報はいつ書かれたかというメタデータ込みでこそ古い情報でも意味を持つので、読み物であっても publish date は欲しい
10:56:16
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:55:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 10:48:53 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
10:55:56
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 10:36:34 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
10:37:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 10:25:08 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
10:17:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:16:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 10:16:05 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
10:16:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 10:15:39 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
10:16:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:13:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:13:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:13:21
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 10:13:09 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
10:13:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:13:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 10:12:48 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
10:12:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:12:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 10:10:33 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
10:12:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
しかし新々宗教に限ると新宗教の天理とかが除外されちゃうか
10:11:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
新々宗教に限りたいんだろうけど、そう書くべきである
10:10:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:10:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2023-05-31 09:50:36 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
02:02:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
00:20:20
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Raspberry Pi Zero W に入れた homebridge raspbian が switchbot plugin の upgrade で一生失敗する
00:17:54
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ルネサス、高専卒を初採用 半導体人材は争奪戦 | 共同通信