まつど
- いいね数 102,851/144,366
- フォロー 1,895 フォロワー 2,964 ツイート 80,115
- Web https://scrapbox.io/education/
- 自己紹介 批評とアニメ好き/ラノベ・漫画積読リスト http://scrapbox.io/lightnovel/
2023年03月28日(火)
オールドファッションとゴールデンチョコレートが同系統の生地だと…。ということは、チョコレートとダブルチョコレートもケーキ生地系のドーナツなのか。
チョコファッションとチョコレートとダブルチョコレートをまとめて買ったりしてるけど全然気にせず食べてたわ。
みんな美味しい。
タグ：
posted at 23:21:32
Shibuya Yukito | AIチ @yukito_shibuya
OpenAIのサム・アルトマンの「AIをすべての人が使えるように安価にして届ける」という思想は、日本で言うところの松下幸之助さんの「人々が水道の水のように容易にいい商品を安く手に入れられる社会を目指す」という水道哲学に近いものを感じるし、ものすごく尊いなと感じる
タグ：
posted at 22:44:56
突然統合失調症の話をしたくなったんですけど、ちょっと聞いてください。統合失調症の不思議なところって、他人の悪意や陰謀といった因果関係などを、脳が「いきなり確信」することなんですよ。「いきなり確信」が先にあるから、いくら他人が言葉を尽くして説得しても、判断を覆すことがとても困難
タグ：
posted at 22:28:11
ルービックキューブが趣味なのは全然いいんだけど、こういう人々、なぜか「ルービックキューブに見られる法則こそ人類にとって普遍的価値がある！なぜみんなこれに気づかないのか！？」とか言い出しがちなので、そっとしておいてあげてください……………
タグ：
posted at 22:19:41
実際にミッションクリティカルシステムに関わってない人にとっての形式手法とか定理証明支援系とかは……あの……型システムとか圏論とかが大好きな…ああいうタイプの人が延々と楽しんでいる……趣味：ルービックキューブみたいな感じだと思ってます……
タグ：
posted at 22:14:47
なぜ形式手法が流行らないのか？
- 厳密な要件定義や仕様記述をしているよりも速く、世界もビジネスもユーザーも変化する分野が多い
- テスト駆動開発はソフトウェアの厳密性ではなく、むしろ超高速に試行錯誤しソフトウェアを変更するための手法であり、形式手法と真逆のパラダイムだとすら言える
タグ：
posted at 22:11:57
！老害発言！現代のソフトウェアエンジニアリングを理解するためには、素直に一回Javaとかでウォーターフォールエンプラ開発とかやって苦しんだほうが良いと思う。なんでか知らんけどそれをしなくてもソフトウェアエンジニアリングあるいはエンジニアリングの真髄を理解している若者も確かにいるけども
タグ：
posted at 22:02:15
形式手法とテスト駆動開発が似ているのではというのは興味深い洞察ですね。
まず、形式手法は、ソフトウェアの満たすべき仕様を、機械可読に記述します（形式仕様記述）。この仕様に沿うようにソフトウェアを開発することが一般に形式手法と呼ばれています。
テスト駆動開発は（続） twitter.com/0xtkgshn/statu...
タグ：
posted at 21:52:47
@0xtkgshn 形式手法に関しては下記の記事（日経エレクトロニクスの特集を公開したもの）をお薦め。18年前の記事だが今でも通用する（なにしろ数学なので）。ご参考までに
この記事から「なぜスマートコントラクトで形式手法の話が出てくるのか？」も把握できると思われます。
xtech.nikkei.com/dm/article/FEA...
タグ：
posted at 21:46:58
非公開
タグ：
posted at xx:xx:xx
midjourney、2.3日前にさわりはじめた絵心皆無男がこれくらいの画像を無限につくれてしまうんだけど pic.twitter.com/2Ds36Y29ys
タグ：
posted at 21:18:17
大学のアニメサークルは新歓的なイベントに一度だけ行ったことがあったが、今季アニメで一番エロいキャラは誰か、といった話で盛り上がっていたのと、ある程度アニメに詳しそうな上級生のオタクが『PSYCHO-PASS』についてまったく的外れな見方を披露していて、当時そっこうで見切りを付けてしまった！
タグ：
posted at 21:15:00
にもかかわらず、フィクションの道徳性や倫理性を熱心に批判する人は、わたしから見ると、現実の悲惨さを放置してアニメを見ているという自分の不道徳さや後ろめたさから逃れるために、フィクションに対して倫理的な潔癖さを要求しているように見える
タグ：
posted at 21:12:57
「マッチ売りの少女」という童話があるけど、これはフィクションのそういう機能を明確に描いていて、児童労働の末に悲惨な死に方をする少女が、それでも最後にマッチの中に幸福の幻影＝フィクションを見る、という話。フィクションが人を救ったわけでも、救うわけでもない
タグ：
posted at 21:05:58
業務時間以外で、会社の資産であるソースコードには一切触れずに、公知の情報のみに基づいて開発したので、個人として勝手にツイートしますが、Gyazoの特定のコレクションの画像一覧を地図に変換できる仕組みができました。これが真のGyamapや！
scrapbomap.yuiseki.net/gyazo/5939495c...
タグ：
posted at 21:05:37
わたしはアニメに強い道徳性や倫理性を要求することに反対なので、時々アンチリベラルみたいな扱いを受けることがあり、それでだいぶストレスがたまっているのだが、そういう自称リベラルの人たちは現実社会においても日々社会運動とか政治参加とかしてるの、してないんじゃないの、という疑念がある
タグ：
posted at 21:02:44
これも何回か言ってるんですけどラノベ読みは《元々活字中毒or読書家でラノベ読むやつ》と《数あるオタク趣味の内で今現在ラノベ読むやつ》に分かれると思ってるんですけど、後者は確実にいつか読まなくなるので過剰に積まない方がいいです。前者は仲間だ。いつか読むので死ぬほど積め
タグ：
posted at 20:44:42
ChatGPTで画像を表示できると聞いたのでsparklineを表示してみた。
sparklineをSVG画像で返すやつは、だいぶ前につくったこれ:
github.com/TheTeamJ/spark... pic.twitter.com/GXAlW2UMqz
タグ：
posted at 20:06:01
会社でChatGPTを使うのに、データの取り扱いをどうするか、優れた実例。まずデータを極秘情報、社外秘情報、公開情報に分類する。極秘情報は入力しちゃダメ。社外秘情報はAPIのみ入力OK。公開情報はChatGPTでもAPIでもOK。いいね。問題は会議とかの内容は大抵極秘に分類されそうなところかな →RT
タグ：
posted at 19:23:23
ChatGPT、Excelの計算式のリファクタリングもしてくれる。まったく知らないExcel関数だったから、勉強にもなった～。 pic.twitter.com/c5xBQLIQ1S
タグ：
posted at 19:04:59
書籍の内容について知りたいことを質問して、質問力が高くて知りたい情報を引き出せて「本を買うまでもない」と思うか、それ以上引き出せなくて「ぜひ買いたい」となるか。
自分の質問力によるというよりは、書籍の内容によるのかなぁ。
本と疑似的に対話している感じがするのは楽しい。 twitter.com/akinoriosamura...
タグ：
posted at 19:02:44
Student Developer Pack に入ってれば無料で使えるらしいので、学生の方は入って使うと良さそうです。 twitter.com/voluntas/statu...
タグ：
posted at 18:43:26
チャエン | 重要AIニュースを毎日発信 @masahirochaen
ChatGPTを超えた医療特化の『ChatDoctor』で医療業界に革命が
700の疾患データを収集して5000の医者と患者の会話
を生成。それを微調整することで精度の高いChatBot作成。
疾患に基づく推奨薬の比較
・ChatGPT：87.5%
・ChatDoctor：91.25%←高精度
医者すらもAIが担う世界に
AIが人類を救う twitter.com/i/web/status/1... pic.twitter.com/gams1QKphY
タグ：
posted at 18:20:39
サブスクでしか音楽を聴かない人がディガー名乗ったりライターをやるのに抵抗感があるとしたら俺はどれだけ金を使ったかって点よりも、興味を持った音源がサブスクに無いのを知った時に「サブスクに無いのか…じゃあ聴けないな…」という態度を取るかどうかって点だな
タグ：
posted at 17:24:22
10歳から絵を描き始め27歳まで誰にも見向きもされず、評価もされず、周りからはこき下ろされ、教えを受けてた人からも絵をやめた方が幸せになれるよと言われ自分の絵を見るだけで吐きそうだった僕が、小さい成功体験を少しずつ積み上げていった結果、自分の絵でシコれるようになったので実証済みです。
タグ：
posted at 15:47:55
AIが物語を生成する時代！ というのをみて、「趣味として小説を書く人はどうなるの？」と疑問思ったので、実際にAIと一緒に小説を書いてみてその実体験をまとめました
小説を書きたい“だけ”の人はこれからどうする？実際にChatGPTと40000文字の二次創作小説を書いてみたnote.com/eurekachan/n/n...
タグ：
posted at 13:08:01
無茶言うなよ。できるわけないだろ>『新たな対策として、（家庭用ルーターの）見覚えのない設定変更がなされていないか定期的に確認する。をお願いします』 / “家庭用ルーターの不正利用に関する注意喚起について 警視庁” htn.to/2PzvrpLJ8S
タグ：
posted at 12:42:12
UIやユーザー体験の視点から考えると、「人間とのコミュニケーションで得られる脳内快楽物質（達成感とか、自己愛とか）が、AIとのコミュニケーションで十分に安く得られる場合、人は人間との交流よりAIとの交流を優先する可能性がある。その辺が、どうなるかは今後の社会課題になるのではないかと思う twitter.com/fladdict/statu...
タグ：
posted at 12:02:00
ChatGPT Plus を全額補助する制度を始めるにあたり定めた「生成系 AI の業務利用ガイドライン」を公開します。
法務・DevOps エンジニア・データサイエンティストと協働して作りました。生成系 AI の活用ルールが決まっていない会社の参考になりましたら🧑💻
blog.zaim.co.jp/n/n641fc2e19933
#ChatGPT #生成系AI
posted at 11:01:55
ChatGPTはなんでも「できる」の認識の違いがありそう。
一般の人：どんな問いにも正確に答えられるようになった
研究者：どんな問いにも何かしら、それっぽい出力ができるようになった。だだしそれが正しいとは言ってない
この認識の違いが不幸を招くんじゃない？
タグ：
posted at 09:16:03
Kan Kimura from Kobe @kankimura
タイパ、コスパが悪いから、役に立つ本だけ読みたい、役に立つ勉強だけしたい、というのは、結局、「上がる株だけ買いたい」というのと同じなんだよなぁ。自分の将来に何が役に立つか、がはじめからわかってるなら苦労なんかしないし、わからないからいろいろと読み、勉強するんだよ。
タグ：
posted at 08:40:22
LangChainを同僚に教えてもらって試したらすごすぎて感動したので書きました！
ChatGPTみたいなアプリが簡単に作れるLangChainがすごすぎ | まったり勉強ノート www.mattari-benkyo-note.com/2023/03/28/lan...
タグ：
posted at 07:38:43
「日本のアニメは差別的というけど！昔から褐色キャラもバンバンいるやろがい！」という指摘は全く正だけど、でも日本のアニメって、その "肌の色" というファクターを「人種の多様性」ではなく「ルックスの多様性」として扱ってきたのでは？それは混同して良いものか？という事を考えている。
タグ：
posted at 06:58:34
ハヤシ シュンスケ | 学問としてのプロ @HaveShun
おお！
ChatGPT ❌ マインドマップ 【楽勝】｜オージーユージ @ Sydney Australia @aussieyuji #note note.com/yujiyamane/n/n...
タグ： note
posted at 06:45:46
これまでに何度もミサトさんが「リモート会議では顔を出しましょうよ！せっかく等身大で表示されるようにディスプレイ置いたのに！」って言ってたのに、みんな内弁慶の恥ずかしがり屋なのでだれも聞いてくれなかった、という未来かー twitter.com/karzusp/status...
タグ：
posted at 06:31:02
朝から読んで鳥肌が立ってしまった。これはものすごい。全部読んでほしい
特別企画 藤原辰史「切なさの歴史学」 web.sekaishisosha.jp/posts/2840
タグ：
posted at 06:30:08
これでGPT-4との対話をMarkdownに自動変換できるようになりました。これまではOpenAIのChatGPTのWebページをコピペして半手動でMarkdownに変換していました。
タグ：
posted at 06:20:33
日本のアニメには黒人もトランスジェンダーもいるとか欧米のポリティカルコレクトネスにマウントとってるやつがいるけど、日本の民族差別の主要対象の韓国人やアイヌのことに考えが及んでない時点で何も分かってないしその不可視化が差別だと言われてるんだろうが、と思った。
タグ：
posted at 01:28:26
タテカンもコスプレも京大生みたいなカシコの特権という側面があって、それが世間一般の人たちの顰蹙を買っていることに問題の一端がある気がする。昨今の弾圧を見ているとしてそういう怨念めいたものを感じてしまう。弾圧の尖兵となっている職員の多くもこれを後ろ盾に行動してるんじゃないだろうか。
タグ：
posted at 01:00:02
