コンピュータサイエンス

今年2月ごろ、たまたまテストユーザー選ばれて、2週間ほどRecursionでプログラミングを勉強しました。 それまで全くプログラミングに触れたことはなかったんですが、なぜかドはまり。 その体験レポはこちら→プログラミング初心者の主婦が『Recursion』に挑戦！たったの2週間ですごいことに！ 8月に正式にRecursionが始まってからは、ますますハマってほぼ毎日コード書いてます。 トータルして学習時間が半年を過ぎたところで、Recursionにあるプロジェクトに挑戦してみました。 Recursionのプロジェクトってどんなものか、何ができるようになったのかについて詳しく紹介します。 Rec…

http://dnagarden.hgc.jp/miyano/ja/lib/exe/fetch.php?media=20081219report.pdf 今から10年以上前に解いた形式言語理論のレポート課題です。当時はなぜかこのレポート課題の問4.に強い興味を持ち、冬休みの6割くらいをこのレポート課題に当てました。授業の担当教授からは下記の解答案とは別のものが解答例として示されましたが、授業後に個人的に下記解答案を見せたところ、かなりびっくりした顔をされたあと、この方法でも正解だと言ってもらえました。 ただ、授業ではレポートを提出しているか把握されただけで、中身を精査してもらえたわけではないの…

オンラインでコンピュータサイエンス、プログラミングを学べるRecursion。 前回の記事で、その創業者である田島慎也さんにインタビューさせていただきました。 意外とやんちゃした幼少期とか、ノープランで渡米とか、Recursionの結成秘話とか。 根掘り葉掘り聞いちゃって、かなり面白かったです。 そして、今回はJeffry Alvaradoさんに、インタビュー。 Jeffryさんって、Discordの右上の方にいつもいらっしゃるんですけど、ちょっと秘密のベールに包まれている存在でした(私の勝手なイメージ） インタビューしてみると、とても丁寧に答えてもらえて優しかった。 しかもその才能がすごい！…

2020年8月7日にスタートしたばかりのプログラミング学習サービス「Recursion」 テストユーザーで参加させていただいてから、私もすごくハマっているサービスです。 毎日数時間プログラミングとコンピュータサイエンスについて勉強しています。 今回は、このRecursionを開発した中の人に迫ります。 創業者の1人、田島慎也さんにインタビューさせていただきました。 結成秘話まで詳しく聞き出しましたよ！ Recursion中の人にインタビュー｜才能あふれる若き創業者に聞く！ 田島慎也さん Shinya / CS学習サイトRecursion@shinya_cal 渡米後の挫折｜スキルのない外国人に…

はじめに 最近のコンピュータサイエンスブームに影響された自分は、計算機科学を体系的に学ぶために大学の授業を受けることにした。自宅で手軽に受講できる点を考慮し、通信制大学の授業が良いのではないかという結論に至った。 また、海外大学や大学院に編入や入学する場合の前提科目の単位を習得する時にも通信制大学はオススメである。ちなみに、アメリカの大学の学費は非常に高く、オンライン授業でも1科目$700(75000円位)かかる。実はUniversity of People という授業料無料(単位認定試験に120$,13000円ほどかかる)のすごい大学がある。しかし1学期目は指定された授業を２つ取る必要がある…

Q1.水素と重水素と三重水素の違いは何か？ Q2.トリチウムと三重水素の違いは何か？ 中学校の理科で習うレベルだが今はゆとり教育でこんな事すら習わないのだろうか？ いやそんな事は無くて理科に興味が無い未来の文系候補ちゃん達が分からないままに社会を担うメディア様や弁護士や国会議員やコメンテータや（可哀想な）ガラバゴス日本左翼（笑）活動家になってしまうのだろうか？ ガラバゴス日本左翼（笑）には理系も存在するらしいので知ってて風評被害を広めているというか自分達の「理念」の為なら他人がどうなろうと構わないのだろうね〜。何せ暴力革命を是とする（但し自分達は手を汚さない）前世紀に死滅した実験国家の妄想に取…

はじめに こんにちは、はじめまして、usaito（HP, twitter）です。2016年の4月に東京工業大学の第4類に入学し、その後工学院経営工学系に進みました。途中1年間休学したこともあり、2021年の3月に学士課程を卒業しました。大学入学から丸5年が経ったと思うと、あっという間だったなという感覚ととても長かったという感覚が入り混じっていてなんだか不思議な感じです。 さて、あとでも詳しくまとめますが、昨年12月に米国大学院の博士課程にいくつか出願し、結果的にCornell UniversityのDepartment of Computer Scienceに博士学生として進学することなりまし…

最近、とても素敵な言葉に出会いまいた。「知性的徳」という言葉です。 これからの時代を生き抜いていく上で、この「知性的徳」が重要なんじゃないかなと思ったのでご紹介しますね。 どうも、ねこひげ先生(@dr_catwhisker)です。 今回は『これからの時代に身につけておきたい「知性的徳」』というお話です。

去年（2020年）に書いた将来設計のブログを見て振り返ります。 amanjack.hatenablog.com 読んでみたまず思ったのが、ほとんどの目標が今とは変わっていることです。 びっくりするぐらい今の人生設計と違います。 １年でこんなに考えが変わるのかと考えさせられました。 達成度的には本を読む目標に関しては9割以上達成していますが、それ以外は9割以上未達成です。 転職したいとか言っていますが、今は全く転職する気は無いです。 これには理由がありますが、 知り合いの会社を今の会社に紹介して私自身で担当することになったため、 その会社を良くするのが今のミッションであり数年は掛かりそうな案件な…

今日はテレワーク2日目後の出社日でした。 今、通勤帰りに書いているのですが、車中から通り過ぎる町を見ると、すっかり新緑の色になってきましたね。 明日は山登り。朝早いので、今日は勉強はやめておきます。 さてさて、 毎年、GWに読了まで時間のかかる本を読んでいます。今年は定評のある『コンピュータアーキテクチャのエッセンス』を読んでみたいと思います。放送大学の科目でもコンピュータサイエンスを勉強してますが、この本ではもう少し突っ込んだ内容が書かれています。

はじめに Rewriting the Code Women Who Code Built By Girls Tech Ladies Girls Who Code Women Techmakers はじめに 米国の就活ではネットワーキングがものを言います。 社員が知人や知り合いを会社の空いているポストに推薦するリファラルをはじめとし、ネットワーキングをすることで、就活がよりスムーズに進みます。 ネットワーキングを上手くやるには、特定のグループやコミュニティに入ることも効果的です。コミュニティ内で新しい友人やメンターを探すのもいいでしょう。また、それらのコミュニティに向けて、会社が説明会などのイベ…

この春、大学院を卒業して社会人になった。昔からパソコンが好きだったので、ソフトウェアを作る職種を選んだ。好きといっても三度の飯よりは好きではない。ごはんはちゃんと食べたい。というか、三度の飯もそこまで好きではない。面倒になるとすぐに抜いてしまう。じゃあやっぱり三度の飯よりは好きかもしれない。 いずれにしても、インターネットで見かける熱狂的なパソコンオタクに比べると、わたしのパソコン愛は大したことがないと思う。それでも、仕事にするなら曲がりなりにも好きといえることの方がましだろうと思ってこの選択をした。少なくとも営業のような仕事はわたしには無理だ。そういうことに中学校くらいのときから薄々気付いて…

Flutter開発を始めているわけなんですけど、他にも個人開発のアイデアはあって、プログラミングにガチらないと言う割には結構触っていく予定なんですね。

周りの人がみんなOS作っていたので「ゼロからのOS自作入門」を買いました 書籍「ゼロからのOS自作入門」は、存在は知っていて気になっていたのですが「今更自分がOSを作ってもなぁ」という気持ちもありスルーする予定でした。 ところが、発売と同時にTwitterのタイムライン上に続々と現れるOS自作勢。だんだん我慢できなくなってきて、最終的に「自作OS」「モンハン」のどちらかを選ぶというところまで来て、めでたく（？）自作OS入門とあいなりました（Nintendo Switchを家族に取られがちという事情もありました）。 ゼロからのOS自作入門作者:内田公太発売日: 2021/03/22メディア: K…

先日，イベルメクチンの話題とともに，医学・薬学の分野で語られるエビデンス（統計学的証明）というものが，それほど確実なものではないことを述べた． https://mistydream.hatenablog.com/entry/2021/03/30/230959 実験研究をする人々にとっては当たり前の話であるはずだが，学術的にはp値が基準値以下なら証明成功（帰無仮説を棄却），そうでなければ失敗ということになるから，常に研究成果を求められる研究者たちにとっては証明できたかどうかだけが重要で，その不確実性について考える余裕はないのかもしれない．いずれにしても，確率的な証明である以上，たった一つの研究に…

とてもバタバタしていて、ブログは放置していましたが、理由があって、 結論から言うと、博士後期課程の学生として、東京工業大学 情報理工学院 情報工学系の大上研究室に所属することになりました。 www.li.c.titech.ac.jp 経緯 以前より、創薬分野に関わる研究がしたいと思っていて、現職は続けながら、社会人として学位取得を目指し頑張っていことと思い立ったのが2020年の8-9月 ケモインフォの博士課程行こうかと企みなう。社会人枠あるとこ探している。— くろたんく@激しく多忙 (@black_tank_top) August 22, 2020 Twitter上でいろんな方が教えてくれて、…

職種としてエンジニアを選ぶにあたり、コンピュータサイエンスを勉強したい！とおもいたち、色々と調べていると、コンピュータサイエンスの根っこには《 ゲーデルの不完全性定理 》など、数学論理学があることを知りました。そんなとき、 math.hyuki.net このサイトを拝見し、実際に読んでみたところかなり面白い本でした。ただ、数学（特に基礎論）初学者、コンピュータサイエンス初学者の自分にはなかなかにむずかしい本でして、、すぐに忘れてしまわないようにもメモとして感想をかけたらなとおもいます。 本書の流れ 本書の目次 数学者を作ろう 対角線上に追い詰めろ 計算よ停まれ！ NPの壁 活き活きした証明 対…