tag:speakerdeck.com,2005:/imaimai17468 tag:speakerdeck.com,2005:Talk/1519719 2026-03-22T04:32:03-04:00 2026-03-22T09:38:15-04:00 後半はタイトルだけ出すパターンなので原稿も貼っておきます より詳細に見たい場合はYoutubeの方でも見てください --- # 技育に参加する学生に向けて --- # 精神的な背骨を持つ > *価値の判断基準が自分の外にある人間は > 表現者になれない* > 発声練習 / 2009-02-22 これからたくさんの人が話す、それ以外でもSNS、、、この世の中は価値があるっぽいことに溢れてる 精神的な背骨 空想の価値観に踊らされないで --- # 君たちは自分の優秀さを # もっと自覚していい 時間は一定であるのに、学生の総合値は変わらないのに、抽象化で圧縮されて、実直に優秀であるとバイアスが君たちを押し潰している 優秀であるというのは、単なる強さではなく、何に対してもアクションを取れること みんなはアクションできる人、こんなところに来ない、知らずのうちに持ってる、なのにハッカソンとか舞台が大きくなるにつれて、仮想の価値観に押しつぶされてしまう。 技育博も、技育展も、他のハッカソンもなんだって制限ないよ、今日と同じぐらいの軽さでチャレンジしてみればいい 終わらなかった、喧嘩したってのは財産です、別に金借りてるわけじゃないでしょ --- # 技術は常に黎明期 AIだって、ChatGPTが出てすぐ、人間の時代は終わりだって、、、 なんらかの小さな転換点と新しい方向性が続いていくだけ 技術の進化と社会の追従は同等ではない 技術の進化から、周りの大人たちがああ終わりだ、ああ新卒はああなる、勉強はああだ、あああるべき、こうなるべき等予想をして、危機感や焦燥感、義務感から行動しては続かない、楽しくないからね それは衝動的な感情であって、より相対的な人に起こされるものだから、自分の中に無いものなので続かない 正直会社でも、AIの利用が必須だとか、研修だとか、AI使わないと昇進させないだとかがあるがそんなのはナンセンスで、会社の規模もあるからしょうがないけど本来は使ってる人に賞賛が向かうようにするべき、 少しつづ追従していく社会の中で急激に変化するツールを扱える、常に黎明期、時代を変える新しい時代にある <!-- そんな中で動き方がわからない、まだ怖いならいくつかアドバイスをします（次のページへ） --> --- # もっと、人や組織、社会を # 舐めていい 君たちは押しつぶされ過ぎて憧れしか抱けてない、尊敬ですらない 人を超えられない、人より前に立つことを怖がってしまう ちゃんと君のことを見ている、そこにいる理由がある ちゃんと弱さを発見できる人間になる、そしてそこをカバーして超えていける存在になって、初めてその人の強さをちゃんと見れる --- # 経緯には敬意を 舐めとリスペクトは両立する 舐めだけじゃ掬われる、リスペクトだけじゃ超えられない、人や組織の両面をちゃんと知る 自分にとって反発的な人や好意にも意味がある、納得までしなくていいが理解する --- # 無価値から価値を見ること 価値があるっぽいものが出回る世の中で、無価値なものを見ていける人になって 自分が見てこなかったものを見る、成長が止まった時は、自分の価値観の中に必要なものがなく、無価値の中にあるから --- # 良い人生を imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1480588 2025-12-17T02:14:03-05:00 2025-12-17T02:15:31-05:00 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1386746 2025-06-20T02:19:49-04:00 2025-06-20T06:33:16-04:00 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1373575 2025-05-23T03:17:51-04:00 2025-05-23T04:31:30-04:00 TypeScript の型システムに興味を持ち、「type-challenges」で学ぼうとしましたが、思ったよりも難しく、すぐに挫折してしまいました。しかし、私は競技プログラミングが好きで、アルゴリズムを解くのは得意です。そこで「型パズルを競プロのように解けば楽しく学べるのでは？」と考え、TypeScript の型システムだけを使って競プロの問題を解いてみることにしました。 TypeScript の型システムはチューリング完全であり、本質的にはプログラミングが可能です。型の推論や再帰型を駆使することで、典型的な競技プログラミングの問題を解くことに挑戦しました。本セッションでは、その試行錯誤の過程を共有しながら、型レベルプログラミングの面白さと難しさをお伝えします。型パズルを学ぶのが難しいと感じている方に向けて、新しいアプローチを提案できればと思います。 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1315298 2025-01-25T02:29:53-05:00 2025-01-25T02:30:41-05:00 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1262185 2024-10-17T05:08:07-04:00 2024-10-17T05:10:28-04:00 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1238398 2024-09-06T06:02:46-04:00 2024-09-06T06:22:40-04:00 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1237691 2024-09-05T06:36:04-04:00 2024-09-05T06:39:40-04:00 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1229562 2024-08-22T05:36:24-04:00 2024-08-24T00:41:00-04:00 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1222594 2024-08-07T13:40:11-04:00 2024-08-07T13:40:58-04:00 BlockNoteを紹介するためのスライドです imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1219355 2024-07-31T05:29:11-04:00 2024-07-31T05:29:45-04:00 imaimai17468 (@imaimai17468) tag:speakerdeck.com,2005:Talk/1213196 2024-07-16T07:31:15-04:00 2024-07-16T07:32:23-04:00 Next.jsでのLazyLoadingを使用したローディングの実装方法について解説します。 imaimai17468 (@imaimai17468) 2026-03-22T04:32:03-04:00