Go Kudo / ぜり (@zeriyoshi) header
Go Kudo / ぜり (@zeriyoshi) profile picture

Go Kudo / ぜり

@zeriyoshi

パソコンカタカタとキーボードすき ポストは全て個人の見解であり、いかなる会社、組織とも関係なく、それらの公式な見解を示すものでもありません。 生成 AI に懐疑的な生成 AI 利用者です。 zeriyoshi は人間であり、間違いを犯すことがあります。ポストの真偽性を必ずご確認ください。

 Tokyo, Japan
github.com/zeriyoshi
Joined February 2022
  • Tweets49.8K
  • Following580
  • Followers1.2K
2.9KMedia
Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)Photo by Go Kudo / ぜり (@zeriyoshi)
引用リポスト厄介おじさんになってごめんね、リポストして言及しても読めなくなっちゃったから引用するしかなくなっちゃった ご質問、ご意見、ご感想、苦情、誹謗中傷、何でも募集しております 誹謗中傷等行われても訴える等は一切致しませんので、思ったことをご記入ください
Go Kudo / ぜり (@zeriyoshi) profile pictureGo Kudo / ぜり
@zeriyoshiJul 10
note質問箱をはじめました！ note.com/qa/zeriyoshi #note質問箱
ぜり / Go Kudoさんへの質問｜note質問箱

ぜり / Go Kudoさんへの質問｜note質問箱

ソフトウェアエンジニア 生成 AI (GitHub Copilot, ChatGPT, DeepL) 利用者

note.com
7
19,204
過去の発言追ってみた感じ話が通じなさそうだからもうやめとこ
45
なぜ一生言語レベルの話をしてるのかわからないのですが、私が言ってるインターフェースは言語のレイヤーではないです。プロセスの標準入力に値を入れて何が標準出力に出るかをインターフェースとしており、そこに型は関係ないし、型で守れていると誤解しかねないのでない方がマシな場合もあるという話をしています
FMKHN (@FMKHN275553) profile pictureFMKHN@FMKHN2755531h
最初の投稿の「型をつけない方がいい」から、「型がついてようがついてまいがどうでもいい」へと主張が後退しています。 ソースコード上で「入出力規約」を表現したものが、「型」の要素の1つである「関数のシグネチャ」です。 型を定義する作業は、設計レイヤーそのものです。
2
2
313
Go Kudo / ぜり retweeted
ゴン (@tk_eckie) profile picture
ゴン@tk_eckie1h
葉っぱ挟まってますよ😂
Image from ゴン (@tk_eckie)
1
3
38
660
インターフェース規約は設計レイヤーの話であり言語の話じゃないです...だからコードなんて型がついてようがついてまいがどうでもいいんですよ、入出力規約さえ守られていればいいという話です
FMKHN (@FMKHN275553) profile pictureFMKHN@FMKHN2755531h
貴方の最初の投稿には「AI に書かせるなら静的型付けの方が良い論の人」や「インターフェース規約を守らせるようにという意味でも型をつけない方がいい」と記載されています これは「プログラミング言語を使って記述するコードに型をつけない方がいい」という完全に言語・コードの記述レベルの話です
1
118
Go Kudo / ぜり retweeted
ゴン (@tk_eckie) profile picture
ゴン@tk_eckie1h
葉っぱを噛み切って人参落下…かと思いきや器用に持ち上げられました！しかし食べない🥕
3
28
697
それはそれとして型が機械レベルで保証されるアーキテクチャ (狭義のハーバードアーキテクチャ) は速度より安全性が求められる分野ではそろそろ見直されてもいいと思う
67
私がインターフェースと呼んでいるのは何を受け何を渡すかの決まりの話で、言語レベルの話ではないです
FMKHN (@FMKHN275553) profile pictureFMKHN@FMKHN2755531h
インターフェース構文自体が「型」を定義するための構文です。 インターフェースのシグネチャでは、「どんな型の引数を受け取り、どんな型の戻り値を返すか」を定義しますが、これ自体が「型情報」(型定義)の一部です。 貴方が何を誤解しているかが、明白になりましたね。
1
102
その通りです。なのでそれでノイマン型コンピュータにおける型システムで何が実現できて何を守れているのかが曖昧なままに型を使うことに意味がないのではと思っています (最初から書いているようにそれでも守るべき規約を守るために使えるし、使うべきと判断するのならむしろ良いです)
Odashi (@odashi_t) profile pictureOdashi@odashi_t1h
任意の計算理論上の操作をゲーデル数まで還元して「大枠として変わらない」、という話に聞こえますね…
1
1
392
型で何を守りたいのか、そもそも何が守れているのかがない以上無闇矢鱈に型をつけても火に油を注ぐ結果にしかならないでしょうという気持ち
63
それが決定論的ものなのかの違いがありますが大枠として変わらないのではというのが持論ですね、 CPU の処理段階になるとデータに型情報は残らないので
Odashi (@odashi_t) profile pictureOdashi@odashi_t2h
型推論（演繹）とLLMの推論（ほぼ帰納）を字面の一致で混同している例だ、推論という言葉を廃止しよう
1
874
？？？ 実行時に変数の型情報はないのだから、持つ必要がないのはそれはそうでは？インターフェイス規約は型ではなくて別の概念だと思いますが
FMKHN (@FMKHN275553) profile pictureFMKHN@FMKHN2755532h
コンパイル時に型検証をするためには、型情報が不可欠です。 しかし、貴方は最初に「インターフェース規約を守らせるようにという意味でも型をつけない方がいい」と書いています。 型情報がない状態で、型検証を行うことは原理的に不可能です。 ご自身が誤解していることに気付きましょう。
1
106
Go Kudo / ぜり retweeted
ゴン (@tk_eckie) profile picture
ゴン@tk_eckie2h
ご機嫌でおしゃべりしています🦜🎶 飼い主リスニング↓ わ！かわいいちゃ～ん おいで！ あ～ おいで！ トン おっ！かわいいいいいい（ビブラート） 来るか？ え～？来ないよ？ お～？かわいいい～
1
4
61
940
年末っちょ (年末調整施策)
1
199
それが根本的に間違いというか誤解を招いているという話をしているので、私が元々言っていたことと同じになっています...
FMKHN (@FMKHN275553) profile pictureFMKHN@FMKHN2755532h
コンパイル時に、型情報を使って検証することを「静的型付け」と呼んでいます。 「型付け」と呼ぶ慣習がありますが、実際に行われていることは「型検証」です。 型付け、という表現に引きずられて誤解してしまったのでしょう。
1
132
Image from Go Kudo / ぜり (@zeriyoshi)
85
ゆぶ
Image from Go Kudo / ぜり (@zeriyoshi)
62
画像処理は本当に並列化が効くなあ
74
M5 Ultra で殴るのやめろ
Image from Go Kudo / ぜり (@zeriyoshi)
1
121
最近毎週自宅鯖再起動してる気がする
Image from Go Kudo / ぜり (@zeriyoshi)
1
84
リンギング除去フィルタを作ってもらっています
Image from Go Kudo / ぜり (@zeriyoshi)
63
Load more