00:01:37 @lo48576@mastodon.cardina1.red
2019-06-09 00:01:30 あやふみの投稿 afm@mstdn.maud.io
icon

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

00:01:41 @lo48576@mastodon.cardina1.red
icon

おめでとうございます

00:01:57 @lo48576@mastodon.cardina1.red
icon

うわ日付変わっとるやんけ

00:15:55 @lo48576@mastodon.cardina1.red
icon

デートとチートは字面が似ているので異世界デートで何か読みたい (書くとは言わない)

00:16:10 @lo48576@mastodon.cardina1.red
icon

異世界セマフォの話は……

00:16:57 @lo48576@mastodon.cardina1.red
icon

追放モノ、今の流行ですね (むしろこれから収束するレベルで流行)

00:17:20 @lo48576@mastodon.cardina1.red
2019-06-09 00:17:14 ぴけ@Skeb1件作業中の投稿 pikepikeid@mstdn.maud.io
icon

異世界セグフォ???(いいえ

00:17:32 @lo48576@mastodon.cardina1.red
00:17:41 @lo48576@mastodon.cardina1.red
icon
Web site image
異世界セマフォ
00:18:22 @lo48576@mastodon.cardina1.red
2019-06-09 00:17:37 大破の投稿 musashino205@mstdn.maud.io
icon

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

00:18:26 @lo48576@mastodon.cardina1.red
2019-06-09 00:18:14 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

00:18:45 @lo48576@mastodon.cardina1.red
2019-06-09 00:18:37 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

追放系,地雷チート(最弱職だと思われてたが実は極めると最強のアビリティが……系のやつのこと)も兼ねてることが多い気がする。

00:19:16 @lo48576@mastodon.cardina1.red
icon

まあ本当に弱くてどうしようもない人が追放されてもなろうでウケる成り上がり物にはなりづらそうだから……

00:19:43 @lo48576@mastodon.cardina1.red
icon

異世界セグフォ、むしろ物語終盤でしょ

00:19:48 @lo48576@mastodon.cardina1.red
2019-06-09 00:19:10 自鯖の丼復活しましたの投稿 jnsk@mstdn.maud.io
icon

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

00:20:20 @lo48576@mastodon.cardina1.red
icon

DIV/0 から始める異世界生活

00:20:58 @lo48576@mastodon.cardina1.red
icon

地雷チートだと『ありふれた職業で世界最強』が次の夏アニメですね

00:21:26 @lo48576@mastodon.cardina1.red
icon

ありふれた職業で世界最強
ncode.syosetu.com/n8611bv/
2013年11月開始か、結構昔の作品ね……

Web site image
ありふれた職業で世界最強
00:21:58 @lo48576@mastodon.cardina1.red
icon

【ありふれた職業で世界最強】番宣CM30秒 [ARIFURETA CM 7/8 on Air!] - YouTube
youtube.com/watch?v=pWHdQ3u1NQ

Attach YouTube
00:22:42 @lo48576@mastodon.cardina1.red
icon

(OP 曲が謎のアイドルみたいなのじゃなくてちゃんとかっこよくて期待できる)

00:24:19 @lo48576@mastodon.cardina1.red
icon

追放系の男の子を苛めるお姉さんの音声作品をな (???)

00:24:22 @lo48576@mastodon.cardina1.red
icon

???

00:24:24 @lo48576@mastodon.cardina1.red
icon

㊰だよ

00:25:09 @lo48576@mastodon.cardina1.red
icon

なろうの流行、乗ろうと思って乗るものでもなくて、ランキングを漁ってると自然と傾向が出てくるのでそれを読むと自然と文脈が共有される

00:25:27 @lo48576@mastodon.cardina1.red
2019-06-09 00:25:18 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

『真の仲間じゃないと勇者のパーティーを追い出されたので、辺境でスローライフすることにしました』とかこのまええいわすさんとしおりさんでダブりの本をやり取りしてたけど,典型例っぽい。あれ 2 年前から連載してるのか。

00:26:23 @lo48576@mastodon.cardina1.red
icon

スローライフ系も結構ありますね、田舎暮らしハーレム系か何故か娘がいたりする子連れ系が目立ちがち

00:27:40 @lo48576@mastodon.cardina1.red
2019-06-09 00:27:23 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

こういうので,たとえば複数の典型的ファンタジー世界の類例を出してみてそれぞれから一人ずつ追放された人間集めて追放パーティーで冒険させるみたいな逆張り設定は咄嗟に思いつくのだけど,プロットは建たないし文は書かれないし,そもそも人気のヤツは一見オタクの逆張り設定に見えて実際はワリと王道はちゃんとポイント押さえてるんだよな。

00:28:29 @lo48576@mastodon.cardina1.red
icon

被追放者たちだけの新興勢力ハンパねぇ~手のひら返しは許さねぇ、ゴメンで済んだら俺たちはいねぇんだよ!~
ncode.syosetu.com/n4271ew/

Web site image
被追放者たちの天下無双(旧題:被追放者たちだけの新興勢力ハンパねぇ~手のひら返しは許さねぇ、ゴメンで済んだら俺たちはいねぇんだよ!~)
00:28:47 @lo48576@mastodon.cardina1.red
icon

途中までしか読んでないけど

00:28:54 @lo48576@mastodon.cardina1.red
icon

(私にはあまり合わなかった)

00:29:50 @lo48576@mastodon.cardina1.red
2019-06-09 00:29:45 ぴけ@Skeb1件作業中の投稿 pikepikeid@mstdn.maud.io
icon

最近の作品、タイトルもうちょっとなんとかならん?ならんか。

00:30:03 @lo48576@mastodon.cardina1.red
icon

短いタイトルは消費されきったので仕方ない

00:31:22 @lo48576@mastodon.cardina1.red
icon

私は本質情報でタイトルを付けがちなんだけど、まあ検索にはかからないし目に付かないし、競争には向かないのではという感じはある (知らんが)

00:31:30 @lo48576@mastodon.cardina1.red
2019-06-09 00:31:22 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

『幼女戦記』がタイトルで敬遠されて後で「こんな作品だったの!!!」と言われまくってるの見ると,マーケティング的にもああいう大概バカっぽくてスマートでない説明的タイトルこそあらゆる層にリーチするためには必要なのだと思う。

00:31:42 @lo48576@mastodon.cardina1.red
2019-06-09 00:31:31 красная икраの投稿 ikuradon@comm.cx
icon

時代考証不要だからって中世ヨーロッパ風の異世界に転生しすぎなんじゃ

00:31:59 @lo48576@mastodon.cardina1.red
icon

なろうによく出てくるエセ中世ヨーロッパを「ナーロッパ」と言うの、あれすき

00:33:07 @lo48576@mastodon.cardina1.red
00:33:58 @lo48576@mastodon.cardina1.red
00:34:02 @lo48576@mastodon.cardina1.red
2019-06-09 00:33:01 No Goldの投稿 aiwas@yysk.icu
icon

なろう よく途中でタイトルが変わるんだけれども変わる前と後で何がどう良くなったのかがわからないことが多いので我々には未知のロジックがある可能性が高い

00:34:17 @lo48576@mastodon.cardina1.red
icon

これはある

00:34:37 @lo48576@mastodon.cardina1.red
00:34:44 @lo48576@mastodon.cardina1.red
icon

「ダンまち」の元のタイトルが「ファミリア・ミィス」だというのは間違っているだろうか - Togetter
togetter.com/li/805963

Web site image
「ダンまち」の元のタイトルが「ファミリア・ミィス」だというのは間違っているだろうか
00:35:54 @lo48576@mastodon.cardina1.red
icon

【悲報】なろう小説『異空のレクスオール』、とんでもない長文タイトルに改題されてしまう | 読み速
yomisoku.com/archives/15601746

『最弱ランク認定された俺、実は史上最強の神の生まれ変わりでした~お姉ちゃん属性な美少女との異世界勝ち組冒険ライフ~』

twitter.com/amanohazama/status

Web site image
【悲報】なろう小説『異空のレクスオール』、とんでもない長文タイトルに改題されてしまう
00:36:23 @lo48576@mastodon.cardina1.red
2019-06-09 00:36:09 ぴけ@Skeb1件作業中の投稿 pikepikeid@mstdn.maud.io
icon

最高に頭悪いタイトル豊富そう(偏見)な美少女ゲーム類でマトモそうなのいくつか見かけると、やっぱターゲット層違うんだなぁと

00:36:30 @lo48576@mastodon.cardina1.red
2019-06-09 00:34:04 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

00:37:04 @lo48576@mastodon.cardina1.red
icon

趣味でまで競争しないといけない厳しい世界……

00:39:13 @lo48576@mastodon.cardina1.red
2019-06-09 00:38:12 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

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

00:40:30 @lo48576@mastodon.cardina1.red
2019-06-09 00:40:22 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

改題で中盤辺りに判明する要素がタイトルで開示されてしまっているの、本編の内容もそれに合わせて変えるのだろうか

00:41:05 @lo48576@mastodon.cardina1.red
icon

そういえば昔「お題:グルメ」でセイタカアワダチソウを主人公に書いた短編はどこにいったかな……

00:41:29 @lo48576@mastodon.cardina1.red
00:41:51 @lo48576@mastodon.cardina1.red
icon

自分でもどんな内容だったか思い出せないぞ

00:42:42 @lo48576@mastodon.cardina1.red
2019-06-09 00:42:33 красная икраの投稿 ikuradon@comm.cx
icon

ハリーポッターと今日の晩ご飯

00:43:31 @lo48576@mastodon.cardina1.red
2019-06-09 00:43:24 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

時代考証ガチガチ中世ヨーロッパ風異世界、「なぜこの世界の中世ヨーロッパとほとんど一致してしまっているのか?」という別の考察ネタが発生する

00:44:11 @lo48576@mastodon.cardina1.red
icon

そういえば私は読まないんですが、中世ヨーロッパのみならず戦国時代系 (特に織田信長周辺?) も結構あるみたいなので、その辺りの時代考証がどうなっているのかも気にならないこともない

00:45:41 @lo48576@mastodon.cardina1.red
2019-06-09 00:45:29 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

00:46:15 @lo48576@mastodon.cardina1.red
icon

あと VR 世界に転生したと思ったら異世界だった的なアレも多いね (理由付けにはそれなりにバリエーションがある)

00:47:55 @lo48576@mastodon.cardina1.red
2019-06-09 00:47:42 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

私はゆるふわ中世ヨーロッパ風異世界に「ガチガチのパンを器代わりに使って最後にスープが染みたパンを食べる」くらいのヨーロッパネタ要素がアクセント程度に散りばめられているのがいいです……

00:59:40 @lo48576@mastodon.cardina1.red
2019-06-09 00:55:25 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

中世ヨーロッパと完全に一致している異世界、必然的に中世ヨーロッパになかった技術や思想が公然と存在することができない

01:28:23 @lo48576@mastodon.cardina1.red
2019-06-09 01:26:00 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

01:29:32 @lo48576@mastodon.cardina1.red
icon

ActivityPub においては一応基本的な語彙のフィールド名や構造は固定されているので、「JSON-LD 非対応でも処理できるよ〜」とは書いてあるんだけど、実際は署名関係とか含め ActivityStreams の語彙にない情報を突っ込もうと思ったら JSON-LD は (受け取る側としては) 結局必須

01:31:30 @lo48576@mastodon.cardina1.red
icon

送信あるいはデータ作成だけするなら JSON-LD 処理系は不要で、というのも JSON-LD 自体が「アプリケーションが利用している既存の JSON データ構造に外側から context を付けてやることで機械可読性と交換性を上げよう」という仕組みなので、テキトーに決めた JSON データに固定の context オブジェクトを付けてやるだけで JSON-LD なデータにできる

01:32:40 @lo48576@mastodon.cardina1.red
icon

よーするに拡張を吐くのは簡単だけど読むのは難しいという話なので、 ActivityPub も拡張というか ActivityStreams 外の語彙を一切使わない覚悟を決めれば JSON-LD 処理系は不要 (現実的とは言ってない)

01:33:45 @lo48576@mastodon.cardina1.red
2019-06-09 01:33:34 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

01:34:12 @lo48576@mastodon.cardina1.red
icon

JSON-LD は JSON データに外付けで RDF のセマンティクスを嵌めるための仕組みとアルゴリズムの規定であると解釈している

01:34:27 @lo48576@mastodon.cardina1.red
icon

まあ RDF とは完全に互換ではないらしいけど

01:43:21 @lo48576@mastodon.cardina1.red
icon

ActivityStream の JSON-LD context は w3.org/ns/activitystreams.json か、

curl -H 'Accept: application/ld+json' https://www\.w3\.org/ns/activitystreams

で取得できるオブジェクトで規定されていて、まあ w3.org/ns/activitystreams で説明のある通りですが

01:45:20 @lo48576@mastodon.cardina1.red
icon

この context というのは「JSON オブジェクトのどういうフィールドの値がどういう意味を持っていて何を持てるか」みたいなのを記述したもので、雑に言うとスキーマに近いものなんですが、 ActivityPub で規定された構造でデータを吐く限りは自動的にこの context に従ったデータになるので吐く側は何の心配も要らない

01:47:54 @lo48576@mastodon.cardina1.red
icon

で、拡張データとかはこの context を拡張したり複数用意することで指定できて、たとえば mastodon.cardina1.red/@lo48576 を見てもらうとわかるんですが、 Mastodon では拡張データを突っ込んでいるので context が配列になっていて、
"w3.org/ns/activitystreams"
だけでなく
"w3id.org/security/v1"
とか他にもインラインで指定されたものも追加されていますね

01:48:55 @lo48576@mastodon.cardina1.red
icon

で、 ActivityPub のデータを欠損なく読もうとする人は、この context に応じて適宜フィールドの解釈を変えてデータをロードする必要があるというわけ

01:52:48 @lo48576@mastodon.cardina1.red
icon

たとえば先の例だと joinmastodon.org/ns#featured で識別されるデータは "featured" というフィールド名で書くことが許されているけど、将来の Mastodon バージョンでは "featuredUser" みたいになるかもしれなくて、そうすると
"featuredUser": {"@id": "toot:featured", "@type": "@id"}
みたいな context が代わりに入ってくる。

で、読み込む側の処理系は、 表層的なフィールド名が何であれ実態として joinmastodon.org/ns#featured で識別されるデータを適切に見付けてやらないと featured データは取得できない

01:54:53 @lo48576@mastodon.cardina1.red
icon

まあそういったわけで、 JSON-LD は ActivityPub の本当にコアの部分だけ使うなら不要だけど、現実の処理系でそれをやると結構な情報の欠落が起きるので険しい (特に署名系統は無視してしまうとセキュリティ的にアレかも)

01:55:00 @lo48576@mastodon.cardina1.red
2019-06-09 01:54:53 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

01:55:28 @lo48576@mastodon.cardina1.red
icon

JSON-LD 1.0 Processing Algorithms and API
w3.org/TR/2014/REC-json-ld-api

めっちゃ面倒ですよ (アルゴリズム中の変数とかいろいろにしっかり型が付いていないので)

01:57:17 @lo48576@mastodon.cardina1.red
icon

効率とか無視してやるなら、 expansion アルゴリズムで略のフィールド名を全て IRI (URI みたいなもの) に展開して構造の正規化もしまえばとりあえずなんとかなるはず。
更には現在 draft の JSON-LD 1.1 で規定されている framing アルゴリズムを使うと「処理系の都合の良い構造に変換する」みたいなこともできるようになるみたいなので、それを使えるならそっちを使った方が処理系としては幸せかもしれない?

01:59:06 @lo48576@mastodon.cardina1.red
2019-06-09 01:58:38 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

01:59:43 @lo48576@mastodon.cardina1.red
icon

kroeg/jsonld-rs: Rust library for processing JSON-LD
github.com/kroeg/jsonld-rs

nightly でしか動かなくてメンテ状況もよくわからないプロジェクトは見付かったけど、まあ使う気にはなれないですね

Web site image
GitHub - kroeg/jsonld-rs: Rust library for processing JSON-LD
01:59:59 @lo48576@mastodon.cardina1.red
icon

そんなわけで今自前で書いてるわけですよ…… (白目)

02:00:36 @lo48576@mastodon.cardina1.red
icon

ただ、 JSON-LD 関係のアルゴリズムはリモートの context をフェッチしてくるところまで必要だったりするので、実用的にしたければ future が安定化されるまで待ちたいんですよね

02:02:27 @lo48576@mastodon.cardina1.red
icon

というか expansion algorithm は一度は書けたんですが、 expanded document は普通の json value よりも構造の制限が強いはずなのに生の json value で返すのが嫌になったので、まず expanded document の型を定義するところからやりなおしています (ア)

02:03:19 @lo48576@mastodon.cardina1.red
2019-06-09 02:01:28 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

02:03:20 @lo48576@mastodon.cardina1.red
2019-06-09 02:02:25 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

02:03:59 @lo48576@mastodon.cardina1.red
icon

Socialwg - W3C Wiki
w3.org/wiki/Socialwg

ここからリンクされているけど、

SocialCG - W3C Wiki
w3.org/wiki/SocialCG

SocialCG (Social Web Incubator Community Group) に引き継がれたんじゃないですかね (知らんけど)

Socialwg - W3C Wiki
SocialCG - W3C Wiki
02:05:15 @lo48576@mastodon.cardina1.red
02:05:35 @lo48576@mastodon.cardina1.red
icon

不安になってきたぞ

02:05:36 @lo48576@mastodon.cardina1.red
2019-06-09 02:04:55 解凍の投稿 hina@mstdn.maud.io
icon

SocialCG/2019-05-08 - W3C Wiki
w3.org/wiki/SocialCG/2019-05-0

SocialCG/2019-05-08 - W3C Wiki
02:20:05 @lo48576@mastodon.cardina1.red
icon

matrix.org も忘れないであげて

02:23:15 @lo48576@mastodon.cardina1.red
icon

Try Matrix Now! | Matrix.org
matrix.org/docs/projects/try-m

Matrix はちゃんと SNS でもあります (使ったことないけどたぶん)

02:24:39 @lo48576@mastodon.cardina1.red
2019-06-09 02:24:31 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

02:25:18 @lo48576@mastodon.cardina1.red
icon

そういう意味なら確かにそうかもしれない (でも一応 IoT デバイスからの情報を云々とかの話もあった気がするし、テキストチャットのみというわけではないはず)

02:25:55 @lo48576@mastodon.cardina1.red
icon

Matrix 、やはり目を引いたのはメッセージの全順序を捨てたあたりの発想かなぁ。あれは興味持たざるをえない

02:26:38 @lo48576@mastodon.cardina1.red
02:28:27 @lo48576@mastodon.cardina1.red
icon

Matrix Specification
matrix.org/docs/spec/

> Uses include Instant Messaging (IM), Voice over IP (VoIP) signalling, Internet of Things (IoT) communication, and bridging together existing communication silos - providing the basis of a new open real-time communication ecosystem.

02:28:47 @lo48576@mastodon.cardina1.red
icon

リアルタイムは重要視してるのね

04:16:42 @lo48576@mastodon.cardina1.red
icon

podman が普通に便利だったので docker はアンインストールした

04:28:26 @lo48576@mastodon.cardina1.red
2019-06-09 04:25:11 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

ちなみに dependable computing の分野では malware とかへの mitigation として一度 reboot して様々な state を initial state にしてしまってそれ以上の被害を防ぐ,それを実用的に行うための仕組みを提案する,などの研究が為されており,computer science を揶揄するアレじゃなくて本当に cs のひとつとして考えられたりしてることなんですよ

04:28:28 @lo48576@mastodon.cardina1.red
2019-06-09 04:26:12 ほたの投稿 hota@mstdn.maud.io
icon

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

04:29:01 @lo48576@mastodon.cardina1.red
2019-06-09 04:24:08 ほたの投稿 hota@mstdn.maud.io
icon

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

13:45:37 @lo48576@mastodon.cardina1.red
icon

Rust の libstd (と libcore と liballoc) 、実に読みやすいためソースコードリーディングが快適

13:46:57 @lo48576@mastodon.cardina1.red
13:49:25 @lo48576@mastodon.cardina1.red
2019-06-09 13:49:05 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

13:50:01 @lo48576@mastodon.cardina1.red
icon

Gentoo は基本的にインストールさえできてしまえば、「アップデートが成功したのに壊れた」は少ないので実はメンテ自体はそれほど難しくはない

13:51:54 @lo48576@mastodon.cardina1.red
icon

gentoo で多いトラブルは「ビルドが失敗してインストールできない」なんだけど、まあだいたい bugs.gentoo.org 探すとかエラーメッセージ読むとかすれば何とかなるものだし、インストールできなければシステムは壊れないのでそんなに問題ない

13:52:42 @lo48576@mastodon.cardina1.red
icon

まあ kernel config の設定と X の導入あたりは初めてだと手間取るかもしれないですね (でも X の導入は Arch でも必要だろうしその点では Arch と大差ない)

14:34:33 @lo48576@mastodon.cardina1.red
2019-06-09 14:30:53 zgock999の投稿 zgock999@mstdn.maud.io
icon

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

14:35:16 @lo48576@mastodon.cardina1.red
icon

reclock に署名付きコードが必要になったのにそれが提供されていないせいで nouveau で最近の nvidia の GPU 使うと最低クロックで動くみたいな話、あれもキツい……

14:37:32 @lo48576@mastodon.cardina1.red
icon

エヌビビアェ……

15:24:21 @lo48576@mastodon.cardina1.red
2019-06-09 15:23:19 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

15:24:23 @lo48576@mastodon.cardina1.red
icon

期待

15:57:56 @lo48576@mastodon.cardina1.red
2019-06-09 15:56:47 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

コントローラーの色も取れるのいいな

Attach image
Attach image
16:27:08 @lo48576@mastodon.cardina1.red
2019-06-09 16:23:30 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

コントローラーの色情報を使ってやることがこれかよ

18:13:26 @lo48576@mastodon.cardina1.red
18:13:28 @lo48576@mastodon.cardina1.red
2019-06-09 18:12:52 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

カレントディレクトリで転スラを指すのか……

18:13:32 @lo48576@mastodon.cardina1.red
icon

なるほどw

18:13:59 @lo48576@mastodon.cardina1.red
icon

\松を彷彿とさせる (そうでもない)

22:08:37 @lo48576@mastodon.cardina1.red
icon

そういえば昔 Docker で開発環境を整備することでポータブルな環境をどこでも使えるように云々みたいな話あったな、今なら podman でユーザ権限でコンテナ作れるからもっと素敵になりそう

22:09:35 @lo48576@mastodon.cardina1.red
2019-06-09 22:08:19 たかなしの投稿 g_fukurowl_zenyasai@zenyasai.g-fukurowl.club
icon

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

22:10:16 @lo48576@mastodon.cardina1.red
icon

数学がどこまでを指すかによるけど、たとえば計算量とかオーダーの話がわからない人のコードは読みたくも実行したくもないので、そういうドメイン固有っぽい数学的知識みたいなのは持っててほしい

22:12:39 @lo48576@mastodon.cardina1.red
icon

そんで計算量の見積りって結局発散させて極限での比較になるわけで、まあ (部分的かもしれないけど) 高校数学程度は必要ということよね

22:13:44 @lo48576@mastodon.cardina1.red
2019-06-09 22:13:17 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

数学苦手だけど計算機大好きプログラマ、自分がやってる範囲のことが数学なのかわからないまま数学を使ってる かつ それが数学の用語ではなんて言うのかは知らない
があると思う><(サンプル数1)

22:14:06 @lo48576@mastodon.cardina1.red
icon

実際これだと思う、体系的に学んだかは知らないけど実のところ数学的な知見とか考え方は普通に使っていたりするのはきっとある

22:14:58 @lo48576@mastodon.cardina1.red
icon

というか「名前を知らないけど自分で考えていつも使ってるアルゴリズムやデータ構造が実は名前付いてて有名だった」みたいなのあるだろうし、そういうもんよね

22:15:06 @lo48576@mastodon.cardina1.red
2019-06-09 22:13:04 たかなしの投稿 g_fukurowl_zenyasai@zenyasai.g-fukurowl.club
icon

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

22:15:12 @lo48576@mastodon.cardina1.red
2019-06-09 22:14:00 たかなしの投稿 g_fukurowl_zenyasai@zenyasai.g-fukurowl.club
icon

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

22:15:55 @lo48576@mastodon.cardina1.red
icon

まあ開発対象のレイヤーと開発そのもののレイヤーは別のようで繋がっているし、両方やれよということですね

22:16:53 @lo48576@mastodon.cardina1.red
icon

私は型とか言語とかそのものの方に興味があって、開発手法とかツールはあくまで手段に過ぎないので使える程度にというスタンスなんですが、普通の人は明らかに逆なんだろうなぁというのはちょくちょく感じます

22:17:36 @lo48576@mastodon.cardina1.red
icon

開発を進める方に関心があって型や言語みたいな基礎はあくまで手段に過ぎないという見方の方が多数派っぽい?

22:18:02 @lo48576@mastodon.cardina1.red
icon

うまく分業したいものだけど

22:18:44 @lo48576@mastodon.cardina1.red
icon

シューンの一環というわけではないけど、最初はポヨグヤミンしてたけど今ではマネージメントやってますみたいな人の話を聞くと、自分がそうなる未来は全く想像できないなぁとなる

22:19:10 @lo48576@mastodon.cardina1.red
2019-06-09 22:18:56 upsilonの投稿 upsilon@m.upsilo.net
icon

プログラミングに必要な知識は何を作るかに依存するので、「プログラマーに数学は不要」は「数学が必要になるプログラムを書いた経験が無い」という意味であれば特に疑問を挟む余地はないと思う

22:27:42 @lo48576@mastodon.cardina1.red
icon

実装したコードがクラッシュゥゥゥーッ!! 超!エキサイティン!!

22:27:54 @lo48576@mastodon.cardina1.red
icon

白目剥いてる

22:33:51 @lo48576@mastodon.cardina1.red
2019-06-09 22:27:34 upsilonの投稿 upsilon@m.upsilo.net
icon

ヤマノススメTVシリーズのBlu-ray、第1期以外NDLサーチにヒットしないことに衝撃を受けてる(たぶん納本されてない)

22:33:52 @lo48576@mastodon.cardina1.red
2019-06-09 22:28:13 upsilonの投稿 upsilon@m.upsilo.net
icon

最近の作品でもこういうのあるのか…