2023/11/21
第47週: 日月火水木金土
2023年 89.04%経過
基素.icon
sama、OpenAIに戻る流れ?
最近のiPhoneで撮った動画とかをそのままGyazoにアップするとこうなる
良い体験じゃないと思う
HDRオフにすれば?bsahd.icon
TakamiChie.icon
きそえびね(絶滅危惧)、こぶしもどき(野生絶滅)、たちがやつり(近代絶滅)、ひだかそう(絶滅危惧)
絶滅種には特に七文字以上の名前が多くて名前につけづらいのが悩み
後半に桃太郎が出てきたらドンモモタロウのことがきっと頭から離れない
一日一プロンプト
キーワードは拾っているみたいだけど、なんかちょっと違うって感じがあるな。
前回SBCast.ゲストデジタルライフサポーターズネットさんの記事
これたしかにわかりづらいんだよなあ。表示だけ見ると、確かにこれでまだ分かりやすい方なんだけど、マウスオーバー時の操作まで言及すると途端にわかってる人でも分かりづらくなってくる。
ブロックしてるかしてないかみたいなところの部分には、本来だったらトグルは別に状態を示すラベルをどっかに配置した方がいいよなと。
今日のstand.fm
実際、この手の話題って専門用語マシマシの言葉で語ってて分かる人にしか分かんない、
お互いが全く違う言葉を話すようになってていざ話そうって時には話せないんじゃないか?
それこそ昨日の井戸端で話題があった防災という観点で言えば、これって最悪では。 ご近所に住んでるのに言語が違うんだもん。
図鑑系の書籍編集となるとここまでするんだなあ・・・
技術書だとここまでする人の話は聞いたことがない
Markdown覚えるのがやっとって人もいるしscrapboxいきなり使えるかな・・・とも思ったものの、SBCast.の事前トークノートをちゃんと編集してくれる人って実は地域団体に多い
うちはHackMDで誰でも編集可能にしたノートを配布している(未ログイン者でも書き込めるから)
でもたいていの人は何も書き込まない
数少ない書き込んでくれる人には、NPOとかコミュニティスペースやってる人が多い
ITコミュニティの人は割とそのままだったり、質問の受け答えを聞くにあんま読んでない人が多い
Markdownのほうが見たまま書けないので難しい気がするyosider.icon基素.icon
最盛期は4, 5時間/日くらいはあった
その代わりにいろんなポッドキャストに手を出している
Googleポッドキャストが終わるのは良いが、YouTubeポッドキャストはそれくらい使いやすくなるんだろうか?
地域関係のポッドキャストとかきっとYouTubeにホストとかわざわざやらないと思うし。
Googleがマイグレーションして利便性もそのままだったことがないので不安
Google Play Music→YouTube Musicのときもそうだったし未だにGoogle Play MusicのときにあってYouTube Musicに実装されてない機能は結構ある。
ゲームデザインの話過去回を聞き終わるまでに方針決めたい
いっぱんしょたって何だよ!と思ったらtypoだった
そう、何を隠そうまちづくりエージェント SIDE BEACH CITY.という団体にはGitHubにOrganizationがあるのである
プログラムコード的なやつをメンテしてるのはほぼほぼ自分だったりするけど
作ってるスクリプトないしツールのうちSIDE BEACH CITY.での利用が8割以上のものはこっちに置くようにしている
ClipchampがバージョンアップしててMicrosoft 365ビジネスアカウントでもサインインできるようになってた 今までのアカウントをリンクすると今までのプロジェクトも使える
しかしまだプレミアム機能はアンロックされてないらしい。
しかしSBCast.の動画版作る作業はほんとうに面倒くさい
画面下部に頂いたカバー画像設定して・・・って前もそんな話したな。
動画作成ツールあると良いんだけどなあちらちら
ほんと子細にメモする人が多いのよ。
次回はプログラミング授業レポート、その次はChatGPTについてを予定
sta.icon
p⇒qが真のとき、sta.icon←コレ多分要らないSummer498.icon
qはpであるための必要条件
pはqであるための十分条件
---
1: pであるためにはqが必要
2: qであるためにはpがあれば十分
……ああ、わかんねえわこれ
いや、ちょっとわかったも
2はわかりやすい。pさえあればqを導ける。pさえあれば十分
1はp単体では何も言えなくて(p⇒?)、何か言うためには何かが必要、みたいなことなのだろうか
むずい
命名した人のネーミングが下手なのか日、命名した人が偉すぎて(言葉の解像度が高すぎて)僕がピンと来てないのか
---
十分条件の「十」の一画目が「一」であり、左から右に引くから、p⇒qの方が十分条件って覚え方をしてた気がするwsta.icon
cFQ2f7LRuLYP.icon
茶色イマイチだな
派手でなく、青がちゃんと見え、いい感じの下地の色ってどういう風に見い出せばよいか
薄い青の顔色にした、少し良い
血の巡りはどちらも悪そうSummer498.icon
meganii.icon
それはそうと、みなさんのランチ事情とかちょっと気になる Summer498.icon
感情を観察していると感情のメカニクスがだんだんわかってきた気がする
寂しさを感じている時に、ムカつき(認知的不協和)が発生することで悲しさに変化する 変化するというか、寂しさを増幅させると悲しさになるんじゃね
寂しさがずっと居座っている状態は、健康的な状態ではないと思う
なので鬱病の症状に当てはまりそうな症状が出ている
症状はこれだけじゃないから「なので」でもないか
金が機会の主要な決定要因ではない場合に、金で機会を分類することにはあまり有用さがないnishio.icon
これはわかるSummer498.icon
連想で何かしようとしているところに、それって有用じゃないですよと指摘するのは冷水(ひやみず)をかけるような感じの指摘に見える
正しいけど冷水な言動、自分は避けがちだけどそれが良いことなのかはいまいちわからないyosider.icon 毎回迷う
答えを知っている状態でその前の段階の議論を見ると答えを言いたくなる
議論参加者から見ると興ざめかもしれない
答えを知っている状態でその前の段階の議論を見ると答えを言いたくなるという気持ちもわかるし、
それをすると興ざめになるというのもわかる
さらに言えば、一人だけ答えを知ってる状態だけど考えるふりをして全員を正解に誘導する術も身につけられるかもしれない
術と忍耐力
誘導したい方向に向かうようにヒントを小出しにして、あたかも自分で考えだしたかのように答えを導き出させるのが術
その仮定で誘導したい方向に向かってくれずもどかしい思いをしてもそのまま耐えるのが忍耐力
「わかった気持ちになること」と「わかること」は別物で、わかった気持ちになっててもそれを使って有用な結果を導くことができないなら有用ではないnishio.icon
数理論理学で逆の体験をしたなSummer498.icon
学んでいっても既知のブール演算とほぼ同じことばかりが続いて、何を学んでいるのか何一つ「わかった気持ち」にならなかったが、演算方法だけは完璧にエミュレートできるため点数は高い不思議な状態だった
毎週毎週演算方法だけを教わるものだから、毎週毎週「で?」って言いながら問題を解いていた
それであなたは何が言いたいんですか?これは何に有用なんですか?みたいな
そう思えるほど体系が完成しているとも取れる
プログラミングの諸概念は、最もシンプルなサンプルコードを示して「こうするとこうなります」と一手一手示していくのが一番確実に理解できると思う
わからない人にはどれだけ言葉や比喩を駆使しても分からないので、実物を見せるほうが理解が速そう
ここに同感なので「整数と偶数という具体例を見せるのがわかりやすいのでは?」と思っているnishio.icon
別の話として始めた話に上の話の文脈が混入して一瞬困惑したSummer498.icon
面白い
問題点
最もシンプルなサンプルコードを表せる言語は少ない(?)
js とか python みたいに 1+1 と書いて 2 が返ってくる言語でやる必要
C とか Java はダメ
int main(void){printf("%d", 1+1);} と書かないと 2 が出てこない
本質外の文字がたくさん必要
少ないどころかメインストリームな気がする
じゃあワイめっちゃ職質されてるやんけ
不審者やん
自分の振る舞いが不審だという自覚はある
チャリの手入れをしていないと、盗んだbikeで走り出したと思われるらしい
分かるっていうのは何なんだろうなと言うそもそもの疑問がある
「既知の知識」をどうやって獲得したのか不明
最終的にいろんな刺激に対するクオリアと結びつくと思っているSummer498.icon
有用な理解の話だSummer498.icon
アーヴ語(知らない外国語)をアーヴ語のみを使って学ぼうとする思考実験をする(実際にやっても良い)
アーヴ語はアーヴ語のみでしか説明されないため、いつまでも、ほぼ何もわからない
何ならこの方法で会話のレスポンスを覚えると中国語の部屋みたいな状態に実際になれそう アーヴ語の話者とコミュニケーションを取るとわかることが増えるが、非言語の情報を仕入れることになるので縛りに反する
現実のものとアーヴ語の単語を紐付けるとわかることが増えるが、縛りに反する
実際にやっても良いというか、実際にやってみたことがある
何も分からなかったので途中で意欲が萎えて止めた
アーヴ語ではなく別の言語だけど
でもこう考えると分かりやすい説明というものがそもそも不可能になる
他人の既存知識なんか (ヒントはあれど) 知りようがないから
この考えは悲観的すぎる
分かりやすいと思える説明が実際に見られて、しかもそれがランダムに出現するわけではないという点と照らし合わせると違和感がある
過度に複雑ではなく、過度に抽象的でもない
複雑の対比は単純で、抽象は具体の対比だが、あえての言葉選び
単純だとわかりやすそうだし、具体的だとわかりやすそう
何がと言わないのも、あえて
色々なものに当てはまるから
ココの項目自体は過度に複雑な気がする
否定は分かりづらい
過度に誤っていない
誤って理解しても取り敢えず問題ない程度の誤りしかない
過度に外部知識に依存しない
大方すべての人が経験しているであろうことを比喩にして分かりやすくしている
日本語で書いた文は読み手が日本人だろうということを利用して分かりやすくしている
外国人がその国の人向けに説明している物を日本人が読むと分かりづらいことがまぁまぁある
アップルパイから想起されるニュアンスとか
読者がさらに絞れるならそれを利用して分かりやすくしている
部外者が読むと分からん
しばらくその界隈の文書を読んでいくと単語のつながりが見えてきてだんだんわかるようになってくる
過度に記憶を要求しない
記号を大量に使うと記号を覚えておく必要があって分かりづらい
やっぱり、より難しい概念を使って簡単な概念を説明しようとする試みはよくわからんな
面白がってやるならわかる
本気で有用だと思ってやる理由がわからない
概念に難しいとか簡単とかってあるの?biwa.icon
言葉選びをミスっている気がするSummer498.icon
いや、直感的にはあるなSummer498.icon
痛みと愛を比べると痛みのほうが簡単な感じがする
叩いたらわかる(依存するものが痛覚刺激)
必要条件と十分条件の話、こんだけ色んな人が色んな理解の仕方をしてたら分かりやすい説明なんて無理だなw
分かりやすい説明は難しい/無理といういい例だなー
しかも割と簡単な概念だと思ってるのに、こんだけ理解の仕方が分かれてるのが面白い
抽象的かつわりと皆が触れたことがある概念だから自転車置場の議論みたいに色んな意見が集まるんかな nishio.icon
https://gyazo.com/76fb3ca37c837719a0c9eea2d5244c23
P:「xが整数であること」
Q:「xが偶数であること」
P:「xが整数であること」は Q:「xが偶数であること」の必要条件
Q:「xが偶数であること」はP:「xが整数であること」 の十分条件
「xが偶数であるためにはxが整数であることが必要」
「整数の集合は偶数の集合を包んでる」
「xが偶数ならxは整数」(十分)
これで覚えられない?
個人的にはこれが最も「わかりやすい」と思ってて、ビミョーな図(A)とか、論理的に間違ってる解説(B)とか、なんだか複雑な解説(C)とかを「わかりやすい」と考える人がいるのかがよくわからない
わかりやすさの議論の参加者全員が個人的にはこれが最も「わかりやすい」と思ってて、 X, Y, Z とかを「わかりやすい」と考える人がいるのかがよくわからないって言い出したら面白いSummer498.icon
論理的に間違ってる解説(B)については、少し反論したい(反論というか言葉が足りてなかったので、足したい)biwa.icon
OK、納得nishio.icon
なんだか複雑な解説(C)については、takker.iconさんは古典命題論理を学んだことがあるみたいので、こういった説明の方がむしろ理解しやすいかと思って書いたbiwa.icon
これがわかりやすかったかどうかはtakker.iconさんしかわからないので、ぜひフィードバックが欲しいところ
整数と偶数の例による解説はどこがわかりにくい?
どこをどうするとわかりやすくなる?
ここがわからないsta.icon
xが偶数ならそれは整数であることも意味する、と捉えたが、これを「十分」という言葉で表現するところがピンと来ていない
あ、偶数という限定的な言及なんてしなくてもいいよ、整数でも十分カバーできるよってことsta.icon
それは「数学では慣習的にこういう関係のことを『十分』と呼んでいる」ってだけのことなのですnishio.icon
なるほどです(思えばよくあるパターンだ)sta.icon
その慣習がいつ生まれたかというと…軽く調べたけどわからなかった
多分1879年
フレーゲは、古代ギリシア(ギリシア哲学)のアリストテレス以来の伝統的論理学の革命を遂行し、数学の哲学である「論理主義」 を提唱した。革命的な『概念記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに続いていた伝統論理学を一掃して論理学の新時代を切り開いた。今日の数学で定着している∀(任意の)や∃(存在する)のような量化はこのフレーゲの業績に基づいている。
フレーゲは命題論理と述語論理の公理化を最初に行った人物であり、特に述語論理はそれ自体がフレーゲの発明である
...
あーなるほど、わかってきたぞ
これは「『わかりやすさ』の食い違いの理由がわかってきた」というメタな意味
「わかりやすさ」が
「有用な理解に至るコストが安いこと」と考える派と
「わかった気持ちにさせるコストが安いこと」と考える派とがある
今は如何に脳みそをわかった気にさせるかがお題Summer498.icon
「わかった気持ちになること」と「わかること」は別物で、わかった気持ちになっててもそれを使って有用な結果を導くことができないなら有用ではない
(「有用な結果を導ける状態」を略して「有用な理解」と呼んでる)
この状態ではないのに「わかった気持ち」になることは、かえって有害
(理解度検証のテストで不正解することによって)最も自信のない群が、最も成績が高かった
実力は金を基準にすると 3 グループに分かれるSummer498.icon
あーーー、なるほどnishio.icon
それに対する僕の説明は「ここで必要条件・十分条件という整理の切り口を使うのは有用ではない」だな
「実力」を分類しようとしているけど、大部分の「実力」は「金を払えばどんな人でも確実に得られる実力」でも「金が払われなければどんな人も得られない実力」でもない(細かい反例があるから)
実際はグラデーションになってそうSummer498.icon
なので大部分のものは「金が必要条件でも十分条件でもない」になる
なのにどちらかに分類しようとすることによって混乱がおきる
この判断ができる程度の知識を得るためにはどの程度の理解が必要か、というのが気になるinajob.icon
自信がないので、この分類法の筋が悪いのか、自分の理解が足りていないのか判断がつかないケースに見える
知識というか、上に書いてあるような論理が使えるかどうか?基素.icon
反例をあげることができる→分類は不適では?問いう考え方
グラデーションがある世にある分類をどう捉えているのかはわからないけど
不適切な切り口で物事を整理しようとしたので混乱して、その混乱の理由を切り口として利用しようとした概念の理解不足だと誤って仮定した事例
昼休みウォーキング
https://gyazo.com/0415ab1cda163d645a573029caaa6ff4
Tingus Goose、今「転生して最初からやることによるボーナスが大きい」状態なので、転生して水をやるだけ、パズル要素なし、という感じになっており、じゃあ水をやりながらウォーキングしようかという感じ ウワァッcFQ2f7LRuLYP.icon
ちょっと遊んでたけど飽きたのでもうやっていないinajob.icon
太い道は車が走ってて空気が悪そうなので何本か内側の道を歩く
しかし住宅地なので時々行き止まりになる
やばい、全然どこにいるのかわからなくなった
方角すらわからない
家から大して離れてないのにこんな未開の地が?(住んでる人に失礼)(主観的な未開)
唯一の目印、送電線のタワーに向かって進んだのだが、根元まで来て「で、ここどこ?」となってる
流石に地図をみるか…
いつもスーパーに行くのに通ってる道の一本隣でも何もわからないのか…
道が曲がってたり数ブロックで突き当たりになる見通しの悪いところに2階建くらいのアパートや一戸建てが密集している
あちこちのコミュニティで話されてることがまとまりそうで気になってる
が、まとめる時間がない
時間がないはいいわけ
今回非公開で準備してる社内勉強会の資料の方もまとまってない
まとまらないと単なる唐突なFUDみたいになってしまう そして実装
あんまり捗ってない
物理的身体の調子を整えるためによく寝てよく歩いてストレッチもする
+2cFQ2f7LRuLYP.icon
+1より微妙に多いのウケるnishio.icon
2つの意見に同感、の意cFQ2f7LRuLYP.icon
切り出す前にとりあえず「切り出した場合にわからなくなりそうなこと」をのりしろで書いておくのは良いことだと思った
切り出されてない状態でも何の話なのかわかりやすい
水曜日にやる予定だった講演資料の作成が月火に気になって染み出してきてしまった半面、水曜日に月火にやる予定だった実装の続きをしたくなってしまう
切り替え下手侍
tsuzumik.icon
空行削り防止
上の空行なのか下の空行なのかわからない
下に書くと下の空行との接続を切ってしまう
上に書こう
削るのがダメなら増やすのはいいだろう
よくはなかった
おしゃべりは楽しすぎる
早くROMに戻らないと。。
空行削り防止Summer498.icon
なぜこれがあるのか知らないけど書いてあったので残しておいたnishio.icon
なんだろうと思ってみていたinajob.icon
Summer498.iconさんが自分のスペースの下の空行を保持したくて書いていたのかな?と予想
この予想が真ならもうその役目を果たしていない
偽Summer498.icon
Summer498.iconが日記の一番下に居た時、
改行して最下行に何かを入力している最中に、
pin-diary が空行を削るから入力位置がズレて鬱陶しかったので
一番下に非空の行を置くことで処理を防ぎたかった
pin-diaryってそんな機能あるのか(?)yosider.icon
機能というか、テンプレートの中に最後の空行が入ってるだけなんじゃないかと思っているSummer498.icon
なるほどですtsuzumik.icon
空行が減ることではなく編集中に割り込まれることを防止している
yesSummer498.icon
空行自体はない方がいい
inajob.icon
録音の日
公開した!
🎉cFQ2f7LRuLYP.iconsume.iconseibe.icon
なければ作ればいんだよ!.iconmtane0412.icon
Gorira Tatsu.icon
自己診断は当てにならなそうだし、万一病院に行って検査をしてもらったとしても、その検査結果が何か変えてくれるわけでもなさそうなので病院に行ってない
このマインドで生きてるGorira Tatsu.icon
「周りからかけられている」その「周り」が信頼ならんなwnishio.icon
気になってて信頼できる情報が欲しいなら病院に行くといいと思う
なお僕はADHDが話題になり出した頃に行って「詳しく調べないとADHDかどうかはわからないけど、調べるまでもなく明らかにアスペルガー」と言われたw 草.iconSummer498.icon
「俺はASDだぜ?」は牽制として便利なので診断受けて持っておいても損はないかもしれないsta.icon
どういうシーンで使うのかあんまりイメージができないGorira Tatsu.iconnishio.icon*3
永久に話しかけられたくないときに使えそう基素.icon
五限の情報の授業「プログラミング演習」をサボっています(now)
隣の人に、反復、配列といった概念を教えるの意外と難しい
ソートアルゴリズムまで教えるの結構レベル高い
???「情報Iちゃんとやったら余裕でITパスポート取れるよ」
「英語ちゃんとやったらTOEIC900点は簡単ですよね()」
biwa.icon
プログラム書いてる人には、よくプログラム書いて説明したりする
これが万人にわかりやすいわけではないけれど、プログラマーにはスパッと理解してもらえることが多い
わかりやすさ の定義どうこう以前の問題(だと思います。)
+1wogikaze.icon
結局コレな気がするSummer498.icon
僕がやたら厳密な議論をしたがる厄介者(厄介者という言葉は強すぎるな) 扱いされてる気がしてならない
別にそんなことはない と言いたい
井戸端の人はそういうモードになる人がいるなぁという気持ちはあるかもinajob.icon
誰となく
ちがうな、あらゆる人にそれを感じている
価値のある振る舞いだと思っている
知識を持つとどうしてもそういうモードになるSummer498.icon
本当に今回の件だと、takker.iconさんは事前に知識があるから、記号論理の知識を使った説明の方がわかりやすいと思っただけです!biwa.icon
厄介者の代替案
おじゃま虫
嫌味みたいだ
嫌われ者cFQ2f7LRuLYP.icon
たぶんそういうことではない
普通にヒドイSummer498.icon
あまのじゃくcFQ2f7LRuLYP.icon
理屈屋Summer498.icon
やたら厳密な議論をしたがる厄介者だったら理屈屋の方がよさそう
でも正確さを気にするというのはそうかも
コレは言いたくなるけど言ったほうがいいか言わないほうがいいかわりと悩むSummer498.iconyosider.icon
説明したい相手に有益かで判断基素.icon
適当に思いついた謎の言葉
説明の際に大事なのは、説明してる相手がわかりやすいかどうかでしかない
外部がそれはわかりにくいと言う理由がいまいちわからない
お気持ちなのかホントに文字通りの意味なのかいまいち判別がつかないSummer498.icon
その判別がつくことが、何に寄与するのかはわからないけれど、寝ながら書いてるのでお気持ちだと思いますbiwa.icon
seibe.icon
いろいろやっていても1時間毎に休めるのとするべきだったことを思い出せるのが良い
🎉cFQ2f7LRuLYP.icon
https://www.youtube.com/watch?v=gimjKzBJv8I
すげえ
こっちのほうがわかりやすいかな
https://www.youtube.com/watch?v=46TrD0B3bpo
素晴らしい… 最近GUMIさんの楽曲少なくて寂しかったからこれから楽しみだnomadoor.icon
2023/11.icon