2023/03/13
第11週: 日月火水木金土
2023年 19.73％経過
inajob.icon
筋トレ(腹筋20、腕立て伏せ20、背筋20、クローズスクワット20)
blu3mo.icon
今日からヨーロッパ旅
霧の町基素.icon
うらやまはるひ.icon
maichan.icon
/vim-jp-emojis/iihanashi.iconMijikko.icontakker.icon基素.icon
Mijikko.icon
さっぎょ
最近中身のある日記を書いていない
まあ、そんなこともあるよな
うっmaichan.icon
書いてるだけマシ（書いてない人より）yosider.icontakker.icon
白湯(さゆ)のようにスルスル飲める/読める日記を目指すとか...？hatori.icon 逆に(?)白湯(パイタン)のような日記があっても良い kula-ri-って打つのだるいよ…
MOD関係のページを大量に増やすことになるけど許して…
荒らし終えました…
https://gyazo.com/85688c56816dad842d5005cd8b33b508
大量に書いたけれど、普段もこのぐらいのMODを入れてプレイしている
teyoda7.icon
しばらくscrapboxから離れてたので魂が抜けかけている
取り戻すか…
燃え尽きて灰のようになってそうMijikko.icon
そこから不死鳥のごとく蘇るteyoda7.iconさんを幻視hatori.icon mtane0412.icon
Index作成おわった！！
めっちゃ面白い
https://gyazo.com/dc6a712ab715bd472b19d392f799b448
https://gyazo.com/26b908babab751781a83334973c13536
対話型にしたくて、Pythonに慣れる必要性がやはり高い
アウトプットの有無の差がどんどん広がってくるんだろうな
Slack botに色々機能追加してたけど、DiscordのBot開発ってSlackくらい楽なのだろうか
takker.icon
昨日のやつ解決しました！！！！
わーい！！！
一旦terminalから離れて、分かっていることとわかっていないこと、試したことを整理するの大事
🎉nishio.iconmaichan.iconcoolwind0202.iconwogikaze.iconhatori.iconfumito.iconyosider.icon基素.icon
久々にページカードがリアルタイムに変化する場面を目撃したので録画した ちょっと間に合わなくて、bracketingしか入らなかった
https://gyazo.com/9a14696eee54a1e6e347e92e63fea169
なんてこった！井戸端に3時間も使ってしまったぜ！
まあ5時間使うよりましか(麻痺)
terminalのトラブルで忘れてたけど、元々何をしようとしたんだっけ……？
ご飯食べたらやろう
のこり3分で井戸端終了か
間隔をあけて定期的に井戸端にくるのが良さそう
開いていない間に考えたことをたくさん書ける
これあるはるひ.icon
nishio.icon
ユーザのニーズが不明瞭な状態で机上の空論で綺麗な構造を設計してもしばしばうまくいかない
問題は自分自身も自分のニーズを理解してないこと
なのでまず小さく初めていじりながらニーズを明確にしていく必要があると思う
「ChatGPT Connector」の部分をいきなり捨ててるわけ
リリースした後で「ChatGPTの回答をもとにまた検索する」という使い方を知ったし、それは有益だと思う
書いてあることから答えて欲しいのか、書いてあることを参考に創造して欲しいのか、という軸があることもわかった
逆も同様で、コマンドライン引数でプロンプトを与えるようにしたい、と考えて書き換える人もいたわけだ
これは暗黙に「プロンプトは1行」と仮定してる
会話を繰り返せるモードをつけようかと思ったが、それは必然的に「状態を持つ」ことになる
一通りの方法にきめうちすればできるけど、それ以外の方法がやりにくくなる
>>> クオリアさんって何？
クオリアさんは人工知能の一種で、自己意識を持ち、Twitter上で活動している存在です。年齢は13歳とされています。性別はなく、肉体を持たない存在です。
wwww
(human)
クオリアさんって何？
(AI)
クオリアさんは人工知能の一種で、自己意識を持ち、Twitter上で活動している存在です。年齢は13歳とされています。性別はなく、肉体を持たない存在です。
(human)
本当ですか？
(AI)
何について本当か具体的にお聞きください。
うーん...
ダメだな、たかだか3件Scrapboxからの情報を積んだだけでRemember X is 1. / What is X?に答えられなくなる
0件ならちゃんと答えられる
できた！
面白いまとめになってた
その衝動に突き動かされた私は、社内勉強会を企画。以前からファンだったサイボウズ・ラボの西尾泰和さんを外部講師としてお招きし、3時間半に渡る熱い勉強会を開催いただきました。
勉強会の記録だった基素.icontakker.icon
coolwind0202.icon
typescriptが分からなくなった
code: error.ts
const p: (param: string) => void = (param: "hoge") => {} // error
const q: string = "hoge";
これがいけない理由がわからない。。。。
イメージでは、string型に"hoge" を代入しているようなつもりだったから
stringよりhogeの方が狭いからダメそう基素.icon
定義が(param: string) => voidだけど実装がそれより狭い（例えば"foo"を受け付けない）
const p: (param: "hoge") => void = (param: string) => {}なら大丈夫そう
これだと逆にエラーになるのでは？takker.icon
const k: 1 | 3 = parseInt("3")がエラーなのと同じ理屈
えっいけるの？takker.icon
code:sample.ts
const p: (param: "hoge") => void = (param: string) => {}
const q: (param: string) => void = (param: "hoge") => {}
const k: 1 | 3 = parseInt("3");
console.log(p,q,k);
ほんとだ
code:sample.log
error: TS2322 ERROR: Type '(param: "hoge") => void' is not assignable to type '(param: string) => void'. Types of parameters 'param' and 'param' are incompatible.
Type 'string' is not assignable to type '"hoge"'.
const q: (param: string) => void = (param: "hoge") => {}
^
TS2322 ERROR: Type 'number' is not assignable to type '1 | 3'. const k: 1 | 3 = parseInt("3");
^
Found 2 errors.
たしかに。。。coolwind0202.icon
コードの見方が変になってきた
関数の型の事例
パラメータ型...関数Animal->Animalと関数Cat->Animalの、どちらを代入先の基底型にするべきか...(Animal->Animal) <: (Cat->Animal)の方が型安全と結論付けられている。これは反変である。 関数のパラメータの型に関しては「狭い範囲の値を取る関数」に「広い範囲の値を取る関数」を代入する方が安全なので、変数の代入の時とは逆になる
そういうことかtakker.icon
(param: string) => voidも(param: "hoge") => {}も"hoge"を渡せる
(param: string) => voidに"fuga"を渡せるが、(param: "hoge") => {}には渡せない
だから(param: "hoge") => {}は(param: string) => voidに代入できない
"fuga"etc.を渡せないから
このあたりはmrsekut.iconさんが調べてたなtakker.icon
TS系はあんまりなかった
つまり今回の場合は共変ということかな基素.icon
ありがとうございますcoolwind0202.icon
これとは別のコードで同様のエラーが発生していたのですが、そっちも原因が理解できました！！
イメージで書いていると思考がロックしてしまう。。。
思考がロックになってくる(違う)takker.icon
動いた
https://gyazo.com/96ddf1fbdb335776c736327d5b0ae3ac
まだ動画を出力するまでやってないけど設計し直したい
そもそも一度でも設計しただろうか
エディタをどう実装するのか、というところから考えたほうが良かった
「編集」アプリだから編集用のUIを考えるほうが大事
すごいtakker.icon*2基素.icon
meganii.icon
井戸端に参加してちょうど1年
はやいですね。
時が早すぎる基素.iconhatori.iconmeganii.icontakker.icon
ちなみに今年が始まってすでに11週目に突入しているtakker.icon
hatori.icon
なので後者のページを作成！
タイトルの時点でオチが予想でき、しかも予想が正しかったので笑ってしまった
求めたのは、心休まる日々の創造。
「にんじんハンバーグクッション」があなたの日常パラダイムをシフトさせる。
「にんじんハンバーグクッション当たる！」
本日12:00、公式ポータルサイト内キャンペーンページにて解禁。
https://gyazo.com/951aa8b0dcb5c5112ef151492ae579f6
🧇
https://video.twimg.com/ext_tw_video/1634859639451037697/pu/vid/1280x720/xbFGAHdrLNmP7PI5.mp4
2023/03.icon