生成AIが作成した汎用的なプログラミング言語の知識を、
聞き流しで学習するための音声コンテンツです。
個人学習用として作成しています。
音声：VOICEVOX（青山龍星）
番組の魅力・推薦
このポッドキャストは未認証のため、最新エピソードのみ表示されます。
Rust 064 命名規則 - 型が検査しない約束
第64章へようこそ。今日のテーマは「命名規則」です。標準ライブラリを読むと、同じ語頭が繰り返し現れる。as_str、to_owned、into_bytes。この語頭は、書いた人の好みで選ばれたものではない。名前は2つの層でできている。1つ目の層は、型に書いてあることを先に言う層だ。名前が言っていることを、シグネチャを読めば確かめられる。2つ目の層は、型に書けなかったことを言う層だ。こちらを確かめる手段は、言語の側にない。今日扱うのは、asとtoとintoが何を先に言っているのか、同じ並びがコレクションにどう現れるのか、型に出ないものが何なのか、名前と実装が食い違うと何が起きるのか、そして名前を付けるとき人間が何を引き受けているのか、です。
Rust 063 const generics - 長さが型の一部になる
第63章へようこそ。今日のテーマは「const generics」です。第10章で、型をパラメータにする仕組みを見ました。定義するときには型を決めず、使うときに決める。要素の型が違うだけで同じ処理を書き直すことは、これでなくなりました。だが、型パラメータでは抽象化できないものがある。配列の長さだ。要素が3つの配列を受け取る関数に、要素が4つの配列は渡せない。今日扱うのは、なぜ長さが型を分けるのか、その長さをどうやってパラメータにするのか、パラメータに取れる値がなぜ限られるのか、長さを型に残すか実行時に持つかをどう決めるのか、そして型に残すと何が消えるのか、です。
Rust 062 Newtype - 包んで、通すものを選ぶ
第62章へようこそ。今日のテーマは「Newtype」です。第6章で、この形はもう出ています。中身が同じでも型として別物にするために、タプル構造体で包む。メートルとキログラムはどちらも中の型が同じでも、片方をもう片方の引数には渡せない。この手法をニュータイプパターンと呼ぶ、と命名しました。今日はその先を扱う。包んだあと、その型に何をさせるかは、まだ何も決まっていない。包んだ型は、中身の操作を1つも受け継がないからだ。今日扱うのは、包むと何が消えるのか、消えたもののうち何を通すのか、なぜ包むと外部のトレイトを実装できるのか、中身をそのまま見せる実装をどう判断するのか、そしてこの境界がどこに存在しているのか、です。
Rust 061 Cow - 必要になるまで複製しない
第61章へようこそ。今日のテーマは「Cow」です。第18章で、文字列を返す関数の戻り値をどう決めるかを見ました。新しく作ったものを呼び出し側に持ち帰らせるならString、借りたまま返すなら文字列スライス。戻り値の型は所有権の流れで決まる、と定めた。この原則で決められない関数がある。入力をそのまま返すこともあれば、加工したものを返すこともある関数だ。どちらになるかは、入力を見るまで決まらない。今日扱うのは、その決まらなさをどう型に持つのか、複製がいつ起きるのか、この型が何を要求するのか、そしてどういう流れで使う形なのか、です。
Rust 060 rayon - データ並列を当たり前にする
第60章へようこそ。今日のテーマは「rayon」です。rayonは、Cargoの設定ファイルに書いて取り込む外部のクレートです。コレクションの要素にかける処理を、複数のコアへ分けて走らせる。現在のCPUには、コアが複数ある。だが、イテレータで要素を順に処理するコードは、そのうちの1つしか使わない。要素が100万個あっても、残りのコアはなにも進めていない。rayonが引き受けるのは、この使われていないコアへ要素を配り、かかる時間を減らすことだ。配るには、決めることが増える。どこで分けるのか。分けた先で壊れないと誰が確かめるのか。分けた量が偏ったらどうするのか。rayonは、これらを書き手が書かなくてよい形で引き受けている。ただし、分けること自体に代償がある。今日扱うのは、その引き受け方と代償です。
こちらもおすすめ
近藤淳也のアンノウンラジオ
株式会社はてな創業者であり現在もITの第一線で働く近藤淳也が、京都の宿UNKNOWN KYOTOにやって来る「好きなことを仕事にしている人」を深堀りすることで、世の中の多様な仕事やキャリア、生き方・働き方を「リアルな実例」として紐解いていきます。 . 【ホスト：近藤淳也】 株式会社OND代表取締役社長、株式会社はてな取締役、UNKNOWN KYOTO支配人、NPO法人滋賀一周トレイル代表理事、トレイルランナー。 2001年に「はてなブログ」「はてなブックマーク」などを運営する株式会社はてなを創業、2011年にマザーズにて上場。その後2017年に株式会社ONDを設立し、現在もITの第一線で働く。 株式会社OND: https://ond-inc.com/ . 【UNKNOWN KYOTO】 築100年を超える元遊郭建築を改装し、仕事もできて暮らせる宿に。コワーキングやオフィスを併設することで、宿泊として来られる方と京都を拠点に働く方が交わる場所になっています。 1泊の観光目的の利用だけではなく、中長期滞在される方にも好評いただいています。 web: https://unknown.kyoto/ . こちらから本文を読んだりコメントが書けます！ https://listen.style/p/unknownradio
私より先に丁寧に暮らすな
東京の歌人・上坂あゆ美と、京都の僧侶・鵜飼ヨシキによる雑談配信。人生の呪いからファミレスの好きなメニューの話まで幅広くお届け。 【初めての方におすすめ回】 #30 お菓子が人間だったら誰と付き合いたいか真剣に考える https://open.spotify.com/episode/751EzuNXjpgP2i53P7OtX7?si=XxN2eddURsas_JWE6KFu-A #163 恋愛ってマーージでクソだと思っている人の話 https://open.spotify.com/episode/1WgeglhRT5GQfqzkBO2bNF?si=1l0b2OBlTJq 📩おたより宛先 https://forms.gle/E6oFMLDcrJhUH2g57 番組公式SNS https://x.com/yori_suna （インスタもある） 🚗🚥番組公式コミュニティ https://rooom.listen.style/p/ 📨その他、番組へのお問い合わせはコチラまで yorisuna24@gmail.com
IBUKI STATION
ここはアウトドア向けGPSトラッキング「IBUKI」にまつわる人々が集まる場所。 トレイルラン、登山、冒険、ランニング、自転車、ロゲイニング、、 スタイルは数あれど、共通しているのは自然を楽しみ、そして人とのつながりも楽しむ姿勢。 自然を目一杯楽しみ、苦しみながら、人と接する喜びにも気付く。 アウトドアを満喫するみなさんが、ほっとできるIBUKI STATIONです。 IBUKI https://ibuki.run/ 近藤淳也 IBUKIを提供する株式会社OND代表。ポッドキャストプラットフォーム「LISTEN」も展開 桑原佑輔 OND所属。IBUKI事業担当営業・テクニカルディレクター 中川和美 OND所属。IBUKI担当。トレイルランナー
jkondoの朝の散歩
ポッドキャストプラットフォーム「LISTEN」や、GPSトラッキングサービス「IBUKI」、物件メディア「物件ファン」、京都の宿とコワーキング施設「UNKNOWN KYOTO」を運営する近藤淳也（jkondo）が、朝の散歩をしたりしながら、日々の出来事や考えたことを語ります。
劇団雌猫の悪友ミッドナイト
平成元年（1989年）生まれのオタク友達4人組が、好きなエンタメや日々の生活のことなどをワイワイお話する番組です。 明日から特に役に立たない、別にSNSでバズらない、ふつ〜〜のおしゃべりをお届けします💬 毎週金曜日の朝更新。 同人誌「悪友」シリーズ、『浪費図鑑』『だから私はメイクする』『世界が広がる 推し活英語』などを手掛けるサークル・劇団雌猫がお送りします🐾 お手紙はこちらから💌 https://forms.gle/M2VJpKzcrSXHWpXG6 ◎劇団雌猫のSNS https://twitter.com/aku__you https://www.instagram.com/gekidan_mesuneco/ ◎劇団雌猫のLISTEN https://listen.style/p/gekidan-mesuneco?7SdOHTYF music: Scandinavianz - Purple SkyCreative Commons - Attribution 3.0 Unported (CC BY 3.0) Free Download: hypeddit.com/scandinavianz/purplesky
歴史を面白く学ぶコテンラジオ （COTEN RADIO）
歴史を愛し、歴史を知りすぎてしまった歴史GEEK2人と圧倒的歴史弱者がお届けする歴史インターネットラジオです。 歴史というレンズを通して「人間とは何か」「私たち現代人の抱える悩み」「世の中の流れ」を痛快に読み解いていく！？ 笑いあり、涙ありの新感覚・歴史キュレーションプログラム！ ☆Apple & Spotify Podcast 部門別ランキング１位獲得！ ☆ジャパンポッドキャストアワード2019 大賞&Spotify賞 ダブル受賞！ ※正式名称は「古典ラジオ」ではなく「コテンラジオ」です ーーー COTEN RADIO is an entertainment radio talk program for history , published by the crazy history geeks group "COTEN" in Japan. ☆Apple & Spotify Podcast in Japan category ranking No.1 ! ☆Japan Podcast Awards 2019 Grand prize and Spotify prize !