22:42:46 @kb10uy@mstdn.maud.io
icon

Support for `Forward+` (URP) · lilxyzw/lilToon@6baab4c · GitHub
github.com/lilxyzw/lilToon/com

Web site image
Support for `Forward+` (URP) · lilxyzw/lilToon@6baab4c
22:32:03 @kb10uy@mstdn.maud.io
icon

1 年ぶりぐらいにやった

Attach image
21:39:59 @kb10uy@mstdn.maud.io
icon

トレーニングマットみたいなやつあったほうがいい?

21:39:46 @kb10uy@mstdn.maud.io
icon

ングフィ再開したいな

21:35:56 @kb10uy@mstdn.maud.io
icon

多分全く同じシェーダーだったとしても自分のと他人のは別ものあつかいになるとおもう

21:35:32 @kb10uy@mstdn.maud.io
icon

シェーダーの種類絞ってもそんなに軽くなるわけではないので使い分けたほうがいいですたぶん

21:32:23 @kb10uy@mstdn.maud.io
icon

Fusion360 っぽい気もする

20:52:06 @kb10uy@mstdn.maud.io
2022-09-06 20:51:56 Posting 抑圧 Niceratus@pawoo.net
icon

This account is not set to public on notestock.

20:52:03 @kb10uy@mstdn.maud.io
icon

抽象データ型、代数的データ型と略称が被るんだよな

20:51:33 @kb10uy@mstdn.maud.io
icon

代用的にメッセージパッシングと抽象データ型みたいな言われかたをすることはある

20:44:14 @kb10uy@mstdn.maud.io
icon

前者はハイパフォーマンスなコンピューティングと相性悪いのかなあという感もなくはない

20:42:52 @kb10uy@mstdn.maud.io
icon

Swift からもそれを感じる

20:42:42 @kb10uy@mstdn.maud.io
icon

Obj-C (というか NeXTSTEP を源流とするシステム?)がけっこうちゃんと前者のそれをやっててなるほどなあとなった

20:40:17 @kb10uy@mstdn.maud.io
icon

Ruby のそれは前者寄りだね

20:40:01 @kb10uy@mstdn.maud.io
icon

イマドキの言語は大体後者だと思う

20:39:51 @kb10uy@mstdn.maud.io
icon

かぶった

20:39:37 @kb10uy@mstdn.maud.io
icon

A. Kay の OOP と B. Stroustrup の OOP みたいに大別されることが多い気がする

20:37:43 @kb10uy@mstdn.maud.io
icon

プログラミング言語の思想が散り散りになるといえばオブジェクト指向という語が指すパラダイムが実は 2 つあって混同されやすいみたいな話がありますね

20:25:27 @kb10uy@mstdn.maud.io
icon

Lightspeed 僕は知覚できるレベルの遅延はないと感じている

20:20:02 @kb10uy@mstdn.maud.io
icon

そして音声を文字列にする部分の処理もそれなりにその定義に引っ張られているっぽかった

20:19:26 @kb10uy@mstdn.maud.io
icon

Alexa アプリ作ったことあるけどあれはそこそこ形式化されていた記憶がある

20:13:42 @kb10uy@mstdn.maud.io
icon

受理可能な文字列の集合としての言語

20:11:34 @kb10uy@mstdn.maud.io
icon

僕が言及しているのは符号列のほうですね(あるいはエージェントに直接入力するテキストといってもいい)

20:07:03 @kb10uy@mstdn.maud.io
icon

音声対話エージェントに実装されているパターンマッチングが定義に照らして形式文法であるといえるならばそこに形式言語は存在するのでは?

19:59:32 @kb10uy@mstdn.maud.io
icon

音声認識によって得られたトークン列に対しては(意図的にそういうことをしなければ)解釈は一意になりそう

19:57:17 @kb10uy@mstdn.maud.io
icon

チューリング完全ではないが世間的にはプログラミング言語の扱いを受けている言語もあるし

19:56:54 @kb10uy@mstdn.maud.io
icon

何をもってプログラミング言語とするかという問題が出そう

19:43:39 @kb10uy@mstdn.maud.io
icon

適当に引っぱってきたけど soundness は基本的に構文ではなく主にう型システムの議論だな

19:42:55 @kb10uy@mstdn.maud.io
icon

:hai:

19:42:49 @kb10uy@mstdn.maud.io
2022-09-06 19:42:38 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

soundness は構文よりは意味論で言われているという理解

19:38:43 @kb10uy@mstdn.maud.io
icon

unsound のほかに soundness とかいう言い方もある

19:38:27 @kb10uy@mstdn.maud.io
icon

音の sound ではなくて健全という意味のほう

19:37:00 @kb10uy@mstdn.maud.io
icon

言語(の構文)そのものの話なら sound とか regular とかそういう話になりそう

19:34:40 @kb10uy@mstdn.maud.io
icon

妥当な XML というときの妥当は valid の意味で、構文解析器が受理できるかみたいな話であって言語の構文そのものとはレイヤーが違う気がする

19:21:46 @kb10uy@mstdn.maud.io
icon

「桔梗/ナユ対応「大学生コーデ」」を ShelineCloset で購入しました! asarichan.booth.pm/items/41330

Web site image
桔梗/ナユ対応「大学生コーデ」 - ShelineCloset - BOOTH
18:17:06 @kb10uy@mstdn.maud.io
icon

Adaptive Controller の後ろの穴ってこれフットスイッチとか接続するやつってことか

18:14:49 @kb10uy@mstdn.maud.io
icon

DAW から出力したら入りようがないし

18:14:35 @kb10uy@mstdn.maud.io
icon

これつまりステミキを録音していたということなのかな

18:12:40 @kb10uy@mstdn.maud.io
icon

2:07 のあたりだ

18:10:22 @kb10uy@mstdn.maud.io
そぎぎ
icon

やっぱりおまたがびしょびしょのイラストは良いな……(?)

17:52:52 @kb10uy@mstdn.maud.io
icon

17:52:48 @kb10uy@mstdn.maud.io
icon

シーリングライトしきつめな

17:52:41 @kb10uy@mstdn.maud.io
icon

ぼくもほしい

17:51:33 @kb10uy@mstdn.maud.io
icon

でっかいエリアライトとか置くと均一に照らされると思う

17:45:52 @kb10uy@mstdn.maud.io
icon

. アル中
通常営業中

17:39:36 @kb10uy@mstdn.maud.io
配慮
icon

ちょうど地下鉄サリン事件のちょっと前ぐらいのオウム真理教の世間でのイメージがどんな感じだったのか僕は生まれてすらないからほとんど知らないんだよな

17:32:58 @kb10uy@mstdn.maud.io
icon

フエメス ヘリオス

17:31:17 @kb10uy@mstdn.maud.io
icon

それはそうとして文章に特に加工を施さなくても「その場その場で喋っているような」言葉の詰まりとかが再現されるのはシンプルにすごいと思う

17:22:16 @kb10uy@mstdn.maud.io
icon

プロファイルは既存のでもいいんだけど印字を最適化したい

17:21:13 @kb10uy@mstdn.maud.io
icon

long double はあるんだよな……(?)

17:18:51 @kb10uy@mstdn.maud.io
icon

キーキャップ特注したい、 double shot で Corne Cherry でも使えて傾斜付いてるやつ

17:17:21 @kb10uy@mstdn.maud.io
icon

VRヘッドセットとキーボードが合体、両手でこめかみをタイピング 芝浦工大とNTTドコモが開発:Innovative Tech - ITmedia NEWS
itmedia.co.jp/news/articles/22

Web site image
VRヘッドセットとキーボードが合体、両手でこめかみをタイピング 芝浦工大とNTTドコモが開発
17:16:29 @kb10uy@mstdn.maud.io
icon

思い出すシリーズ: Quest 2 の側面に Corne Cherry が付いている写真

17:15:51 @kb10uy@mstdn.maud.io
icon

安くてホットスワップ可能なキーボードのベースは本当に貴重

17:11:50 @kb10uy@mstdn.maud.io
icon

なんならキーボードとして実用できるのはおまけで本質は組み立てとか組み換えみたいなところすらある

17:05:00 @kb10uy@mstdn.maud.io
icon

REVIUNG53 – 遊舎工房ショップ
shop.yushakobo.jp/collections/

これけっこうおしゃれで良い、数字段がなくて Fn キーがあるというのは面白い

17:01:59 @kb10uy@mstdn.maud.io
icon

量産ってやつはすごいねえみたいな感想になりがち

17:01:49 @kb10uy@mstdn.maud.io
icon

今使ってる Corne Cherry が合計 25k ぐらいだから……キー単価 600 円ぐらいですね

16:59:57 @kb10uy@mstdn.maud.io
icon

SQL アンチパターンは SQL 手書き勢には本当におすすめです

16:58:09 @kb10uy@mstdn.maud.io
icon

Postgres のドキュメント通しで読むのはけっこう勉強になるのでおすすめです

16:56:51 @kb10uy@mstdn.maud.io
icon

でも実際ウィンドウ関数の本領発揮しそうなデータっぽい気はするんだよな

16:56:35 @kb10uy@mstdn.maud.io
icon

だいたいこれしか言ってない気がする

16:56:30 @kb10uy@mstdn.maud.io
icon

ウィンドウ関数でいい感じにできそう(実際できるかはわからん)

16:55:31 @kb10uy@mstdn.maud.io
icon

濃縮還元キーボード、どれ押しても同じキーコードが送信されそう(?)

16:52:20 @kb10uy@mstdn.maud.io
icon

え、 N+1

16:51:31 @kb10uy@mstdn.maud.io
icon

数字キーギリギリ残るのって 50% か?

16:49:16 @kb10uy@mstdn.maud.io
icon

本質的な処理の複雑さが減るわけではないしねえ

16:48:48 @kb10uy@mstdn.maud.io
icon

マルコフ連鎖的トゥートしがち、わかる

16:48:31 @kb10uy@mstdn.maud.io
icon

参照の関係でサブクエリでなくてもいいならサブクエリじゃないほうがいいという説やアプリケーションを介さないほうが効率がいいという説などさまざまな説があつ

16:45:53 @kb10uy@mstdn.maud.io
icon

60% 未満は生半可な覚悟で使わんほうがええ(体験談)

16:44:39 @kb10uy@mstdn.maud.io
icon

(念のため)これは狭義親指シフトを意識したというよりは単に SKK で Shift を酷使するので親指の位置にあったほうが指が攣りづらいという意図です
mstdn.maud.io/@kb10uy/10895030

Web site image
モミアゲ・ノバシタガール (@kb10uy@mstdn.maud.io)
16:43:28 @kb10uy@mstdn.maud.io
icon

でもキー数とかフレームが付くことを考えると結局それぐらいの値段になっちゃいそうだな

16:42:19 @kb10uy@mstdn.maud.io
2022-09-06 16:41:22 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

もはや元祖親指シフトが滅びつつある概念で、今となっては親指の位置に Shift を置く意味でしか使われていない可能性がある

16:42:16 @kb10uy@mstdn.maud.io
2022-09-06 16:40:47 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

「親指シフト」は親指位置に Shift キーを置くことではないみたいな老人トークなぁ

16:40:44 @kb10uy@mstdn.maud.io
icon

しかもそれキースイッチ抜きでその値段なのか

16:39:52 @kb10uy@mstdn.maud.io
icon

それ系ってフレームが意外と高くつくんだよね

16:35:15 @kb10uy@mstdn.maud.io
icon

親指に Shift キーがあるのは割とうれしいけどぶっちゃけこれも SKK 使わなかったらそんなに意味ないからな

16:34:21 @kb10uy@mstdn.maud.io
icon

【委託】KeyFuda04グリッドパッド – 遊舎工房ショップ
shop.yushakobo.jp/collections/

hexpad によさそう

16:28:31 @kb10uy@mstdn.maud.io
icon

00 キー、昔売ってた別売ナムパッドにはまれによくあった気がする

16:27:25 @kb10uy@mstdn.maud.io
icon

自キー意外と一体型少ないからな……

16:25:55 @kb10uy@mstdn.maud.io
icon

Navpad 1.0 – 遊舎工房ショップ
shop.yushakobo.jp/products/368

16:22:48 @kb10uy@mstdn.maud.io
icon

JISplit89 作成代行きた?

15:47:24 @kb10uy@mstdn.maud.io
icon

一二三四五 心臓がうたう

15:44:17 @kb10uy@mstdn.maud.io
icon

そもそもペンの上側に中指がくる持ち方をしており、筆圧よりもペン自体に対する圧力が非常に強い

15:08:03 @kb10uy@mstdn.maud.io
icon

アァナゾン(?)

15:07:55 @kb10uy@mstdn.maud.io
icon

Arnazon のほうが騙されそうかも

14:49:51 @kb10uy@mstdn.maud.io
icon

了解です

Attach image
14:22:30 @kb10uy@mstdn.maud.io
icon

そういえば自分自身より RQ が大きいオブジェクトの影を受けることってあるのか?

13:44:02 @kb10uy@mstdn.maud.io
icon

僕と君の夏休みとかいう懐かしすぎる作品の名前を見た

13:42:30 @kb10uy@mstdn.maud.io
icon

Attach image
13:18:02 @kb10uy@mstdn.maud.io
2022-09-06 13:17:40 Posting Giraffe Beer giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

13:18:00 @kb10uy@mstdn.maud.io
2022-09-06 13:16:54 Posting アカハナ akahana@fla.red
icon

This account is not set to public on notestock.

12:34:01 @kb10uy@mstdn.maud.io
icon

大井追っかけ音次郎か?

12:33:29 @kb10uy@mstdn.maud.io
icon

ロングだね

12:33:16 @kb10uy@mstdn.maud.io
icon

長いね

12:21:07 @kb10uy@mstdn.maud.io
icon

それは erect じゃなくて elect

12:20:06 @kb10uy@mstdn.maud.io
そぎぎ
icon

up (勃起)

12:14:36 @kb10uy@mstdn.maud.io
icon

乳がでかければいいというものではないようにもみあげも長ければいいというものではありませんからね……

12:13:01 @kb10uy@mstdn.maud.io
icon

床につくより長いとさすがに色々と問題がある

12:12:52 @kb10uy@mstdn.maud.io
icon

僕のロングもみあげの上限は床につくぐらいです

12:12:28 @kb10uy@mstdn.maud.io
icon

そんな

12:11:19 @kb10uy@mstdn.maud.io
2022-04-26 19:19:28 Posting kb10uy kb10uy@mstdn.maud.io
12:11:14 @kb10uy@mstdn.maud.io
12:10:47 @kb10uy@mstdn.maud.io
icon

過去のロングもみあげアーカイブを見直してください

12:10:25 @kb10uy@mstdn.maud.io
icon

そうだが?

12:09:52 @kb10uy@mstdn.maud.io
icon

実用上というか、もみあげが長いことがポジティブに働く場面よりネガティブに働く場面のほうが多そうという感じ

12:09:05 @kb10uy@mstdn.maud.io
icon

例えば料理してるときに油の中に入っちゃうとか……

12:03:21 @kb10uy@mstdn.maud.io
icon

「もみあげ短くするのやめてください。長くても困らないでしょ別に。逆に短いと困る人っていっぱいいるんですよ、おいらとかね。」
Voiced by CoeFont @coefont

hiroyuki.coefont.cloud

Web site image
おしゃべりひろゆきメーカー | CoeFontのAI技術でひろゆきに適当な言葉を喋らせよう!
11:04:56 @kb10uy@mstdn.maud.io
icon

9/27 までか

10:06:19 @kb10uy@mstdn.maud.io
icon

第16回 細かすぎて伝わらない音ゲーネタ選手権 youtu.be/Dul1nRzwRQw @YouTubeより

Attach YouTube
03:02:55 @kb10uy@mstdn.maud.io
icon

これすき

03:02:47 @kb10uy@mstdn.maud.io
2022-09-06 03:02:34 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

bool か char かハッキリせんかい

03:02:43 @kb10uy@mstdn.maud.io
2022-09-06 03:02:21 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

数学者ジョージ「学校ではブールキャラで通っている」

02:58:52 @kb10uy@mstdn.maud.io
icon

「学校ではクールキャラで通っている」という属性に弱すぎる

02:58:25 @kb10uy@mstdn.maud.io
icon

うーん

01:32:50 @kb10uy@mstdn.maud.io
icon

いやまあメールホスティングサービス側に noreply って名前でアカウント用意しても達成できるかもしれないけど

01:26:16 @kb10uy@mstdn.maud.io
icon

Mailgun みたいなやつセルフホストってできないんかなと思ったけどそれは普通に MTA を立てることになるのか?

00:19:25 @kb10uy@mstdn.maud.io
icon

新聞の広告欄に載ってたりするけど書いてある記事タイトルが普通に引きが強くて気になる

00:18:47 @kb10uy@mstdn.maud.io
icon

本職の人に怒られるかもしれないけど単純な興味で読みたい雑誌のひとつに月刊住職がある

00:18:19 @kb10uy@mstdn.maud.io
icon

建築技術まだあんまり読めてないからちょうど良い機会かもな

00:15:07 @kb10uy@mstdn.maud.io
icon

なるほどよさそう

00:15:02 @kb10uy@mstdn.maud.io
2022-09-06 00:14:18 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

format として e-book と physical book は区別できるし、「Edition」として形態や版の違いを追加する機能もある (ノベルゲーム用の format はさすがになかったが未選択で登録できた)

00:09:25 @kb10uy@mstdn.maud.io
icon

Bookwyrm、紙か電子かみたいな属性も記録できます?