はてなブックマーク

今年のお正月に、「無料で読めるポール・グレアムの「ハッカーと画家」+αの日本語訳のみのまとめ」がエントリに上がっていて、布団にこもりながらダラダラ眺めていたところ、前からSICPが気になっていたのを思い出した1ので、「いい機会だし読んでみるか〜」となり、約7ヶ月かかって読み終わりました。 計算機プログラムの構造と解釈（Structure and Interpretation of Computer Programs）は、計算機科学の古典であり、MITのプログラミング入門講義で教科書として使用されていた本です。 通称、タイトルの頭文字をとってSICP（しくぴー）とか、表紙の絵から魔術師本とか、表紙の色から紫本などと呼ばれます。原文および日本語訳は無料で公開されています。日本語訳にもいくつかあるのですが、私は真鍋氏のものを読ませていただきました。 取り組むにあたって、すべての練習問題に回答する

const animal: Animal = { animal: "string", }; const dog: Dog = { animal: "string", dog: "string", }; いま，Dog <: Animalです． <:という記号は2つの型のあいだに書いて，「左の型が右の型のサブタイプである」と読みます． TypeScriptの型システムは構造的なので，2つのオブジェクトがサブタイプ関係にあるには，それらに共通するプロパティについてもまた，サブタイプ関係が必要1です． 今回の例では，DogとAnimalに共通するanimalプロパティについてstring <: stringなのでOKです． TSでは，S <: TならばT型の変数にS型の値を代入できます． つまり，Dog <: Animalなので Animal型の変数にDog型の値を代入できます．

Webページはどうやって表示されるのでしょうか． 「ブラウザでアドレスバーにURLを入力してEnter押してからページが表示されるまでに何が起きているか説明してください」面接で使っていた質問が面白いと話題に 上記の質問には様々なレイヤーでの回答があると思うのですが，私はネットワークの動作に興味を持ちました．というのも，TCP，IP，ARP，Ethernetといったキーワードが関連しているのは教科書や講義で聞いた気がするのですが，それ以上のことはうまく説明できなかったからです． これらのプロトコルは，普段はカーネル内部に隠れていてあまり意識できません． しかし，以下の資料を参考にプロトコルスタックを写経すれば，少しは身近に感じられるかもしれないと思いました． 3月に開催したプロトコルスタック自作キャンプの講義資料を公開しました。1週間でTCP/IPのプロトコルスタックを自作してUDPやTCP

はじめに 突然アクセシビリティ筋を鍛えたくなったのが先月の話です． WCAG 2.1の日本語訳を全部読めばムキムキになれるのではと思い，先頭から読み進めて1ヶ月かかり読了しました． 中でも面白かったのは「失敗例」という項目です．ここには良くないWebページの実装例がたくさん書かれており，「あ〜初心者ならやりがちだよね〜」という例から「え…？職場のコードでやらかしてるんだが……？」みたいな例まであり，マジで死にたくなりました． 私の学習メモとして，またはアクセシビリティの入門資料として，あるいは過去の過ちへの禊みそぎとして，やらかしそうな失敗例を， WCAG 2.1のすべての達成基準に対して 思いつく限りまとめようと思います． レベル（A，AA，AAA）の低い順に記載しますので，下に行くほど発展的な内容になります． 失敗に気づいたら 「WCAG2.1　達成基準の番号　十分な達成方法」でググり

こんにちは，sititou70です．私は社会人2年目のよわよわWebフロントエンドエンジニアであり，「数学」とか「証明」とは無縁の人生を送っています． そんな私ですが，がんばって型システム入門（通称：TAPL）という本を読み終えました．全32章，503ページ，牛乳パック1本分の重さがあり， 自立します． 自立する本は大抵やばいです． TAPLの序文を見ると，想定読者は プログラミング言語と型理論を専門とする大学院生および研究者 プログラミング言語の鍵となる概念に触れたい，計算機科学の全分野の大学院生および習熟度の高い学部生1 となっています．本記事では 「そんな本を，学生や専門家でない人間（私）が読んだらどうなるのか」 について書きます．専門的な用語は避けますので，TAPLの雰囲気だけでも感じ取ってもらえたら嬉しいです． どうなったのか 宇宙語が読めるようになった 「型安全」を説明できるよ

sititou70です．少し未来のJavaScriptを紹介します！ Temporalは，TC39で提案されている次世代の日付APIです．現状のDateにおける欠点を克服するために，仕様を目下策定中です． tc39_studyというイベントで，TemporalについてのLTをしました．また，そのLTを行うにあたって，勉強のためにTemporalのドキュメントを翻訳していたのですが，そちらが公式リポジトリにマージされました 🎉 1分でわかるTemporal tc39_studyは，TC39の各プロポーザルを わずか30〜90秒でLTし続ける というヤバいイベントです．以下が私のLTのアーカイブです．（カミカミですが許してください） なお，このイベントの終盤は30秒LTゾーンという魔境となっており，面白いのでおすすめです．当日のTwitterも，「早口オタク」「情報の嵐」「処理が追いつかない

初心者ながら急にTSの型で遊びたくなり，エラトステネスのふるいを使って素数を求めました． リポジトリ：sititou70/ts-prime-number-type TypeScriptとは TypeScript，あるいはTSとはプログラミング言語の一種であり，JavaScriptと型システムの悪魔合体です．以下のコードを見てください． 下線がついていない部分は通常のJavaScriptであり，下線の部分は 型 を表します．この例ではstring型のname変数に"sititou70"を代入しています． そして今回の記事では， JavaScriptを一切書かず，型システム（下線の部分）だけでプログラミングしよう と思います． 「何言ってんだコイツ」 と感じたあなたは正常です．感じなかったあなたはTSの変態です． TSの型はチューリング完全 もう数億回言われていることですが，TSの型システムは

sititou70です．私は10年前に初めてWebサイトを書き，それ以来Webフロントエンドが好きです．ある就活イベントで，リクルートの人事さんに 「ウチには フロントエンドのやべー人 いっぱい居るよ 」 とか 「 Node.jsのコラボレーター（古川さん） いるよ」 などと言われ，まだここにない出会いを感じたのでRecruit Internship for Specialist 2019に参加しました． インターンに応募する上で，「気になる・不安な点」があるかと思います．この体験記では， インターン参加前の私が不安だったこと に， インターン参加後の私が答えます ． まぎらわしいですね これからエントリーする方の参考になればうれしいです 不安だったこと 応募の話 エントリーシートはどう書こう 面接では何を聞かれるんだろう 自分はやっていけるのか 強い人が多そうで怖い 成果を出せるだろうか