00:21:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 00:17:40 なるみん@ポケモン剣盾フレンズ募集中の投稿
luana@pawoo.net
このアカウントは、notestockで公開設定になっていません。
00:28:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 00:25:13 さめもちの投稿
Requin@yuzulia.xyz
このアカウントは、notestockで公開設定になっていません。
00:28:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 00:26:20 skiaphorus(引っ越し済み)の投稿
skia@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:28:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
git = GitHub だと思ってる人がいるくらいだし、そういうもんよ
00:44:13
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
00:47:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これは本質情報なんだけど、抽象という概念を知らない人は具体的なものと抽象的なものを区別できないので、それらの名前を混同するし混同していることにも気付かない
01:06:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
advancedresearch/path_semantics: A research project in path semantics, a re-interpretation of functions for expressing mathematics
https://github.com/advancedresearch/path_semantics
GitHub - advancedresearch/path_semantics: A research project in path semantics, a re-interpretation of functions for expressing mathematics
01:46:06
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
02:44:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 02:42:53 unaristの投稿
unarist@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:44:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 02:43:35 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:49:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 13:47:58 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
13:49:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
13:50:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
try が何かをする動詞だというのは慣習だから自明ではない……うーん?
13:50:28
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
13:51:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 13:50:50 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
13:52:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
最近だと、シェルを実装する回の演習で子プロセスを2つ起動したいとき
pid_t pid1 = fork();
pid_t pid2 = fork();
みたいなことを書いている学生がそれなりの割合いて、これは fork が難しいのかそういう話でもないのか……みたいな気持ちになりました (さておき、そういった間違いがあるという知見を得られたのは面白かった)
13:52:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 13:51:50 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
13:57:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
問題なく動くとしてもコードが冗長であることが (ソフトウェア工学的に) 悪だという直観が備わっていない……なるほど……
13:58:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
たしかに「コーディングが先、ソフトウェア工学はあと」みたいな感じの教わり方したような
13:58:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
既にポヨグヤミンの知識あったので気になったことなかったわ
13:59:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 13:58:21 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
13:59:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 13:58:45 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
13:59:28
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
13:59:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
いや型は集合ではないがそのレベルの話をしないのでまあ良い
14:02:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ある程度訓練された人間なら実際できそう (初学者がやるには厳しそうだけど)
14:03:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
むしろ完全に理解できるコードを読むときとかコードレビューとかって「これは (私なら) こう書くな」→「そうなってないぞ、何故だ」みたいな擦り合わせで読みすすめることが多いので、自分と他人の考え方の違いは際立ちがち
14:03:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:04:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
麻雀の捨牌で読めるのはセオリー通りの打ち方する人の打ち方だけだよ
14:04:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:01:53 ☨もりゃき☨の投稿
moriyaki@moriyakidon.mamemo.online
このアカウントは、notestockで公開設定になっていません。
14:04:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:02:53 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
14:06:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
コードを読んで読める意図もそこそこ規模のある OSS だとまともなコードの公算が高いしもしそこで「ん?」となる書き方があったら逆にそれはなんらかの理由や意図があってそうしてるのだと推測も立つけど,アレゲなコードはそもそもなんでそうなってるのかあんま合理的でない理由だったりすると「わからん……」としかならん気がする。あと政治的な決定によって捻じ曲げられた実装のコードとかも。そういうのは document にされないとわからんけどそういうコードに限って undocumented
14:07:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:03:52 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
14:07:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:07:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:06:32 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
14:10:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:09:41 酸性雨の投稿
acid_rain@amefur.asia
このアカウントは、notestockで公開設定になっていません。
14:12:33
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
if (foo == true) は foo == true が真であるかを確認しているので (foo == true) == true を確認しなければならない、すなわち
if ((foo == true) == true)
と書くべきだ、みたいな話がある (以下無限ループ)
14:17:28
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:15:59 zgock999の投稿
zgock999@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
14:17:45
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:18:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:17:03 クマノテツ
の投稿
kumanotetu@mstdn.mini4wd-engineer.com
このアカウントは、notestockで公開設定になっていません。
14:18:54
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
`!` 演算子が主張しなすぎるというのはわかるが、単項 `not` みたいなのはそれはそれで嫌いなので厄介
14:20:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:21:22
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:19:25 クマノテツ
の投稿
kumanotetu@mstdn.mini4wd-engineer.com
このアカウントは、notestockで公開設定になっていません。
14:21:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
高級言語を使って
(0..=100).contains(x)
と書くのが正解
14:22:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
if let 0..=100 = x { .. }
などの書き方もできるけどさすがにこれは微妙w
14:27:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
min <= x && x <= max の書き方あんまりしなかったなあ
14:27:48
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
それを思い付くころにはRangeのある言語を触っていたもので
14:27:54
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:27:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:28:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:30:33
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
%E3%83%A8%E3%83%BC%E3%83%80%E8%A8%98%E6%B3%95
14:30:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:32:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:32:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ケツカンマ入れたら最後にnullとか ゼロの要素がくるの 💩 ってなった思い出がたくさんあるので
14:32:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
json を馬鹿にするのはやめろ! (syntax error)
14:32:54
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:40:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
オレンジが言語作るなら、比較は==で代入とかは := にする><
14:40:54
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
= の式が unit 型を返したり値を返さないようにすることで == との混同は避けられるというのが広く使われているソリュッションっぽい
14:41:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
オレンジが言語作るなら、! | & だけじゃなくPascalっぽく not or and のどちらでも書けるようにする><
14:41:40
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これはどうせどちらを使うか派閥が分かれて最終的に linter であれやこれやする羽目になりそうなので、こういう syntactic に等しい要素を複数用意するのはあまり気乗りしない
14:42:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
なんだっけ、 && / || と and / or で優先順位が違う言語みたいなのあったような……日本の法律だっけ?w
14:42:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:42:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:42:16 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
14:43:06
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:45:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Crossrefの最新バージョンの公開場所はGitLabなのか
Crossref、メタデータデポジットスキーマのver.4.4.2を公式にリリース | カレントアウェアネス・ポータル http://current.ndl.go.jp/node/38869
Crossref、メタデータデポジットスキーマのver.4.4.2を公式にリリース | カレントアウェアネス・ポータル
14:45:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:45:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そもそもなぜ代入は一見操作なのに式という風潮があったのか(C言語などはなぜそうしたのか)という話になりそうだけど、これは歴史的経緯がそこそこありそう
14:45:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
代入を式にしない(unitにする)ってのはやりやすくてよいね
14:46:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:47:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:47:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
と思ったけど ! がなくても普通に 0 が返されてたわ、まあクソコード書くなってこったな
14:48:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:50:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:52:35
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:50:40 そすうぽよ
の投稿
prime@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
14:53:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
@prime それはありえそうだと思って C で試してみたんですが、 C の方でも同様になりますね (規格かは確認してない)
14:53:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:49:16 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
14:53:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:54:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:54:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:55:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Compiler Explorer - C++ (x86-64 gcc 9.2)
14:56:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:57:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 14:52:30 8vitの投稿
8vit@gs.yvt.jp
このアカウントは、notestockで公開設定になっていません。
14:57:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:57:22
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:58:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:58:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
15:12:35
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 15:12:18 unaristの投稿
unarist@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:12:48
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
unarist (@unarist@mstdn.maud.io)
18:16:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 18:04:56 なかやばしの投稿
eniehack@misskey.io
このアカウントは、notestockで公開設定になっていません。
18:17:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
rng の compact 形式であるところの rnc が用意されていると弄りやすくて便利ですよという無責任なアドバイスをば
18:19:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
RELAX NG''s Compact Syntax
18:19:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 18:14:20 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
18:20:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
18:21:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
大須でこういう感じの扇風機買ったんですけどね、排気口側をたわんだ服が塞いじゃうので服の中に風を通すより服の外に出して顔に直接当たるようにしたほうが良さそうな感じ。
22:36:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 22:35:27 特殊†╭☞^•ω•^╭☞†羽根戸涼狐の投稿
kyokolisianthus@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:36:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:36:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 22:36:18 宮原太聖(JP)の投稿
TaiseiMiyahara@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:36:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 22:36:37 宮原太聖(JP)の投稿
TaiseiMiyahara@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:38:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
言葉が足りなかった、「なるべきかつなれる人間よりも、なりたいがなるべきでない人間の方が多い」
22:39:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 22:38:54 せいほうけい🔥の投稿
sehoke@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:39:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 22:39:41 せいほうけい🔥の投稿
sehoke@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:40:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:41:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
XSLT は関数型言語みたいなものだしプログラムでしょ (適当) (割と本当)
22:42:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
スキーマはどうなんだろう、どちらかというとデータとか規格寄りな気がする
22:42:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
オープンな規格の場合は文書の真正性や名前自体は保護されても利用はご自由にという感じが多そう
22:43:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあそういう意味でも MIT みたいな permissive なライセンスあたりは割と適当なんじゃないかという気はする
22:43:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 22:43:08 なかやばしの投稿
eniehack@misskey.io
このアカウントは、notestockで公開設定になっていません。
22:43:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 22:43:30 なかやばしの投稿
eniehack@misskey.io
このアカウントは、notestockで公開設定になっていません。
22:43:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ND にするとスキーマの拡張できなくなって XML である意味の半分以上を失いそう
22:52:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2019-08-26 22:50:28 みもりんかの投稿
mimorinka@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:55:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:55:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
NASA に務めていようがメールの I Love You に引っ掛かってしまうような人はいるってこと
22:55:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:59:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
23:00:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
23:34:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red