2023/09/11
第37週: 日月火水木金土
2023年 69.59％経過
今日のn年前
Mijinko_SD.icon
https://gyazo.com/5db8b9d79f0f2ecd693126aefe71646a
文字だらけで草
altなしがよかったのかありがよかったのかようわからんtakker.icon altなしだと文字だらけにはならないが、画像が読み込まれるまでアイコンがあるかどうかわからない
altとリンク付き文字列のデザインが同じなのが気に入らないMijinko_SD.icon
文章と（元）アイコンって要素としては別物だし
機能的には同じかもだけど、アイコンの文字列をそのまま展開しても、文章として成り立つわけではないから微妙
文字と文字が繋がってるから、アイコンを繋げたらまともに読めなくなる
これみたいに囲み文字でも良かったと思う
それに動きも多い
すぐにalt文字を表示せず、一定時間経っても読み込めなかったら表示するとかだとどうだろうyosider.icon
こういう問題点って解消しようと思えばいくらでもやりようがあったはずなのに、向き合わないままデプロイしてるのが低品質だなって あれは良く洗練された結果、汎用的ながらも小さく済んでいるものだから
（愚痴はここまで）
ちょっと色々気になることはあるけど、体調も良くないようだし、暖かく見守っていきたいnishio.icontakker.icon
今のところいい移行先もないし
これはるひ.icon>今のところいい移行先もない
Scrapboxの唯一無二性が良くも悪くも仕事をしている…
shokai.iconさん相当のものを分散させたい
自分のところはまだその表示になっていないbiwa.icon
ABテストしてるのかも？
よく見える方がいいから清書しないという手も基素.icon
線画までうまくいっても色を塗ったら微妙になるまでセットnomadoor.icon
各段階に違う能力を要求されるからからかSummer498.icon
biwa.icon
朝になったら病院に行ける！嬉しい
やったー！takker.icon
起きた(9:00)
支度して病院に行きます
寝起きで適当に数学について書き込んでしまった
間違ってたらすまそ
大きめの病院に患者として行くことが初めてなのでかなりワクワクしてる
大量の人々に対して最善の処置を施すための動線と処理がよくできている
良いシステム
スピーカーから、患者の番号と入室する部屋の番号が、無機質な人の声で呼ばれている
かなり不謹慎だけど、デスゲームとか高度に発展したディストピア世界を連想させる
急に月光の第一楽章が流れ始めて不穏な空気になった
僕はこの曲好きです
先にCTの写真を出して欲しかったとなんか不満を言われた
しかし、紹介状を出してくださいとしか受付の人に言われてないので、分かり用がない
受付の人もそんなこと想定できないので、非はない
医者は忙しさのせいかぶっきらぼうな対応しがちだという偏見があったが、この医師に関しては正しそうだ
全然優しく対応してくれ安心した
喋り方は少し変だけど
とりあえずCT撮って、白いのが小さくなってたら出血だし、小さくなってなかったら脳腫瘍かもねって言われた 撮らなきゃわからないのでCTを撮ります
どっちにしろ、不自然らしいので個人的にはワクワクしてる
腫瘍であっても、若さと位置的におかしい
出血であっても、打って出血する位置としてはおかしい
手術で脳を開く必要があったらだいぶ嫌だな
手術痕残るし、何より麻酔が痛そう
脳の手術って局所麻酔なのかな全身麻酔なのかな
手術によりそう
局所麻酔で脳触りながら今どんな感覚がするか聞くやつだyosider.icon
まあ髪の毛で隠れるからいっか
そこだけ毛が生えてこないとかだったら、ちょっと笑う
僕が当事者なら笑うけど、病気や手術によって髪の毛が生えてこないのは切実な問題なんだろうな
抗がん剤治療の患者とかは特に多そう
診察終了
1ヶ月後にCTを撮る
仮に脳腫瘍だった場合、1ヶ月も放置になってしまうのは良くない気がした
しかし、だいたいの脳腫瘍の成長速度は年単位らしく、1ヶ月様子見はちょうど良いくらいなんだとわかった
それまでは様子見
外でたら警察いた
2回めの診察終わって、診察料金が合計で12,000円ほど
高いね
保険効いてもこのくらいかかるんだtakker.icon
CT撮ったりしてるからbiwa.icon
免許とったけど、頭のせいでしばらく運転できないのは悲しいな
Summer498.icon
06:08 寝て起きた.icon
$ \log xとか$ \sin xとか書くことを考えると関数は$ {\rm f}xと書く方が良い気がする
$ \lambda x.(xx)\lambda x.(xx)
ラムダ計算で言うところの簡約の順番がわからないので微妙biwa.icon
ラムダ計算は体系の中で定義されてるからこまらないけど
ラムダ計算で言うところの簡約の順番がわからないので (関数を$ {\rm f}x) と書くのは微妙ってことかな？Summer498.icon
そういうことbiwa.icon
完全にカッコをすべて取るわけじゃないから簡約の順番は分かりそうなもんだけどなSummer498.icon
$ \log(x+1)と書くのと同じように$ {\rm f}(x+1)と書けば良い
$ {\rm f}x{\rm g}yが分かりづらそうか
$ \sin x\cos yを思い出すと$ (\sin x)(\cos y)O
関数適用の優先順位を高くする
ラムダ計算を思い出すと$ {\rm f}(x\cdot{\rm g}(y))X
普通の数学だと掛け算の記法とも被って厄介そうだなbiwa.icon
冒頭で関数名を$ \rm fのように立体で書くようにしているからソレは問題ないと思うSummer498.icon
{関数名}{変数名}の順なら関数適用
{変数名}{関数名}の順なら積
読むのに負荷がかかりそう、というか、僕はかかるbiwa.icon
慣れてないからではSummer498.icon
2つ引数を取る関数はどうする？biwa.icon
それは単純に$ {\rm f}(x,y)でいいんじゃないかな
$ (x,y)はタプルとしてみなせるから、実は1引数関数と同じ記法
あ、面白い話だbiwa.icon
こう考えると$ {\rm f}\{x,y\} とか$ {\rm f}[x,y] のような変な記法も使えるかもしれないSummer498.icon
前者は従来の書き方で言う$ f(x,y)=f(y,x)の性質を表せる
なるほど。完全にラムダ記法によるわけではないのかbiwa.icon
問題になるのはどこを切れ目にするか/構造をどう読み取るかじゃないかな
込み入った数式で実験してみたい
$ \exp\frac{1}{N}\sum_{i=1}^N\log x_i
$ \sin(x+y)=\sin x\cdot\cos y+\cos x\cdot\sin y
$ \sin x\cos y+\cos x\sin y=\sin (x\cos y)+\cos (x\sin y)
コレは予想しづらい
関数適用の優先順位を積よりも高くすれば良い
$ \sin x\cos y+\cos x\sin y=(\sin x)(\cos y)+(\cos x)(\sin y)
基本的に$ {\rm f}\,xの方が記述量が減るが、曖昧性を減らすために増える時がある
ホントか？今までもカッコを付けていた分のカッコが残るだけでは
(優先順位付けを思いついた後の話)
やる気のない時は部屋の掃除をしたほうが良い気がした
maichan.icon
雨だから休む
割と面白かったけどルフィだけ違和感すごかった
少し寝た
takker.icon
数学の質問ができるコミュニティをご存知の方はいらっしゃいますか？
曲率tensor$ {R_{ijk}}^mがどう計算しても恒等的に0になってしまい、困っています。
デカルト空間のような曲がっていない空間でしか曲率tensorは0にならない
まだ試していない検算方法が一つあるのですが、望み薄なのと時間の都合で質問で解決したいところです
大学が1番質問できそうな……？基素.icon
うち(土木工学科)に数学系の教授はいないtakker.icon
いや仲のいいと思われる先生が一人いらっしゃいますが、どう聞いたものかな……
メールで送ればいいかな
そうなんだ基素.icon
13:21:19 眠くなってきちゃった
14:55:23 時間なので出かける
まさか虫歯が生えているとは思わなかった
一番奥の歯だから、うまく歯ブラシが届いていなかったようだ
虫歯が生えるという表現初めて聞いたyosider.icon
はじめから虫歯だった的な
あるいは犬歯ならぬ ちゅうし？
「虫歯ができる」だったかtakker.icon
その場で詰め物してもらった
はるひ.icon
確かにサイロから小麦やコーヒー豆が落ちる様子を見るのは落ち着くかもtakker.icon
5時間はちょっと長いけど
外れた～takker.icon
しかしあれは中を見学できるのか？はるひ.icon
工場見学とか？takker.icon
午後休みだったので寝た、昼夜逆転になったな
最近個人Project書いてないので色々説明しなきゃなー
まあ、晩まで勉強しよう、勉強…
インターネットが悪い、動画が止まる
無意識にScrapboxを使っていない場所でもCtrl+Cが信用できないので何回も押しておくという行動の変容が起きてきているw
nishio.icon
うかうかしててInstaChordのハードウェアアップデートに出遅れた
IC31は不要ではmtane0412.icon基素.icon
初期出荷版の柔らかいボタン(弦)を硬いボタンにするアップデートだった気がする基素.icon
よかったnishio.icon
講義資料は公開禁止なのでprivate projectにアクティブ読書的な形で入れるのをしたい気持ちが高まってる
質疑がGoogle Spreadsheetで行われてて、ページ番号で言及されてるので、それぞれのページのところにコピペしたい…
わかる、質疑の情報をScrapboxに転記しようと思いつつ未着手yosider.icon
対象がスライドであるときに、1スライドを1ページにするのが適切かどうか疑問
刻みすぎでは感
とはいえ、意味を理解しないと分割できないから…
Scrapboxが切り出しはしやすいけどマージはしにくいのが問題か
章構成があれば、それに沿ってページを分けているtakker.icon
区切りにかかわらずこれにしているyosider.icon
クソ長ページになる
あんまりやるとscrapboxが重くなるので注意takker.icon
埋め込み展開ができれば仮想的にマージできるという話、拒否されてるしな
いろいろ細かい「こうだったらいいのにな」って機能はあるけど、そのためにScrapbox全体を作り直したいかというと微妙
なんだかんだいってすごく完成度高いんだよなー
Zatsu wikiを完成させて、自分好みにカスタマイズできる環境を整えたいと思いつつ、手をつけていないtakker.icon とりあえず作ってから考えようと思って惰性でやってるinajob.icon
Dolmaというテキストコーパスの作り方の説明を見ている 「英語でないものを捨てる」「句読点で終わらない段落を捨てる」
日本語Scrapbox記事は捨てられるなw
句読点はどういう意図なんだろうyosider.icon
句読点で終わる文章のほうが内容の質が高いと仮定している？
講義を見終わって一休み
2時間も動画を見るのは疲れる
コロナ期の大学生は毎日もっとたくさん視聴してたのか、すごいなぁ
あ、そうか、第二回も見たから4時間か
疲れた
スマホでメニューが出ないの僕のUserScriptをコメントアウトしたら直ったからOKかと思ったら、なぜかまた再発するようになってる、謎
UserCSSが変にキャッシュされてるのかな
このページのサムネを見て無意識に脳が無視して「あれ？日記ページがないぞ？」と思ってた
inajob.icon
Scrapboxみたいなもの、もう少しエディタ部分をシンプルに作れたら手が入れやすくて良いのだけどなー、と思う
いっそvimみたいなUIにしつつ共同編集できるようにするとかできないかな？
こういう意見、自分が俺ツール作るときの参考にしたいMijinko_SD.icon 今別の先に作ってるけど…
Scrapbox最近おかしいこと（それぞれ適切な青リンクがありそう）
いつものXだけじゃない
アイコン記法の後ろにaltが見えることがある
ページ遷移が遅い
感じていない基素.icontakker.icon
（自分は困っていないが）削除したページを復活させる導線がなくなった？
mtane0412.icon
これからX/Twitterの複雑で気まぐれな変更についていくためには公式の埋め込みにするのが楽なんだろうなぁと思う
Scrapboxの埋め込み方法は理があったけど
ツイートの文言を直下に引用しやすくなるような方法がいいんだろうな
これがエディタ上で楽にできるならありだったのだろうけど、おそらくそうではなかったんだろうな
YoutubeがOKでTwitterに難色だったのはこのあたり？
久住哲.icon{
『真理・政治・道徳』貸出期間中には読めなそうだ〜。
目が痒い。
Porterみたいな、Scrapboxをスマホで操作するアプリを作るってなると、Swiftを学べばいいのだろうか。 これ読んで、自分は「main」という概念が分からない と思った。
たぶん、mainってプログラミングの用語かな？
単に「主たるプロジェクト」という意味であれば、自分にはないかもしれない？
いや、やっぱりmainって何か分からないかも。
自分のなかでScrapboxは「従」に位置づけられているのかもしれないな。
まだまだ暑い。
汗のせいか、湿疹ができたので、皮膚科に行ってきた。
コピーできないことがある不具合はけっこうストレスだ。
右クリックのメニューからコピーできないのは前からだっけかな？
（Chromeでは）一般のサイトだと右クリックから「コピー」できる
https://gyazo.com/d7ca4530acff72e8a1984539715bd2a5
Scrapboxでも右クリックから「切り取り」はできていたはず
たぶんCTRL + Cは当然機能するものだと慣れきっているからだろう。
コピーする時、一旦アドレスバーにペーストして、コピー成功してるか確認したりしている。
久しぶりに触ったら面白い。
これはScrapboxやアウトライナーを使うときにも感じる ような気がする
井戸端ではデライト人気がないという印象
wogikaze.icon
動かないCtrl Shift V & url-customizerのx
キー入力まわりでバグってそうだなあtakker.icon
こっちも1文字目と最後の文字が消えるようになったので中止wogikaze.icon
それは動いてますねwogikaze.icon
多分userNameがそこに含まれなくなった？
https://gyazo.com/2ccf4089150fd2a9bbdb0397dbddb2d0ないんですよねwogikaze.icon
その上あたりにあるescapeForEmbed(tweet.userName)でエラーが出てたので自分はこれを消しましたwogikaze.icon １．アドレスバーに chrome://settings と入力
２．左側のプライバシーとセキュリティをクリックしてセキュリティを選択
３．セキュア DNS を使用するをオフにする
これで解決した
これで無理だったら一応vivaldiの設定>プライバシーとセキュリティ>トラッカーと広告ブロック>ソースを管理のチェックを全部外してみて何が原因か調べてみる
これまではサイトを再読み込みすれば治ったのでまだ良かったんだけど
最近画像の読み込みもできなくなっててあまりにもストレスだったので直せてよかった
イタロー.icon
さいきん読書会を自分で開いていないので、開いてみたい ひとりで読んでいるのも楽しいが、共通の本を読むのも楽しい
というのを『ツァラトゥストラ』の読書会で再確認
再読中
2023/09.icon