先日、博士（情報学）になりました。学部と大学院をあわせた 9 年間で読んだ情報科学関連の教科書・専門書を思い出を振り返りつつここにまとめます。私は授業はあまり聞かずに独学するタイプだったので、ここに挙げた書籍を通読すれば、大学に通わなくてもおおよそ情報学博士ほどの知識は身につくものと思われます。ただし、特に大学院で重要となる論文を読み書きすることについては本稿には含めておりません。それらについては論文読みの日課についてや論文の書き方などを参考にしてください。 joisino.hatenablog.com 凡例：（半端）とは、数章だけ読んだ場合か、最後まで読んだものの理解が浅く、今となっては薄ぼんやりとしか覚えていないことを指します。☆は特におすすめなことを表します。 学部一年 寺田 文行『線形代数 増訂版』 黒田 成俊『微分積分』 河野 敬雄『確率概論』 東京大学教養学部統計学教室『統計学
現役高校生が、AtCoderでレッドコーダーになるまでにやってきたこと。プログラミング上達の秘訣を全て教えます - Findy Engineer Lab
こんにちは、はじめまして。筑波大学附属駒場高等学校 3 年生（今年 4 月から東京大学に入学予定）の米田優峻（@e869120）と申します。私は競技プログラミング（競プロ）が趣味で、AtCoder・情報オリンピック・パソコン甲子園などの大会に出場しています。2021 年 3 月時点で、AtCoder では赤色（レッドコーダー）です。また、国際情報オリンピックの 2018 年／2019 年／2020 年大会で金メダルを獲得しています。*1 とはいえ、決して簡単にこの記録を手に入れられたわけではありません。何度も挫折と失敗を経験しながら自分のスキルを磨いた結果、競プロを始めてから 3 年後にはレッドコーダーになることができたのです。 今回は「わたしの選択」というテーマで寄稿の機会を頂いたので、私が中学 1 年生の秋に競技プログラミングを始めてからレッドコーダーになるまで、そして国際情報オリンピ
言語モデルの物理学 (Physics of Language Models) とは、FAIR (Meta) の Zeyuan Allen-Zhu が提唱した、言語モデルの研究を進めるためのコンセプトです。ざっくり言うと、「あのモデルはこう」とか「そのモデルはこのモデルよりもこう」というような博物学的な知識を深めるのではなく、17世紀にケプラーやニュートンが物理学において行ったような原理に基づいた研究を進め、「言語モデルはなぜこのような振る舞いをするのか」という問いに答えられるようになるべきという考え方です。 言語モデルの物理学の特徴は大きく2つあります。 第一は、ウェブから収集したコーパスを使わず、きっちりコントロールされたデータセットを使って言語モデルを訓練するということ。ウェブは誰も全体像を理解できないほど複雑で、ノイズにまみれています。本物の物理学でも空気抵抗や摩擦があると、「鉄球は
一通りちゃんと実装したので、大抵はちゃんと動いてくれるはずです。動かなかったり、画面がおかしかったり、音がおかしかったりしたらバグなので、ご報告いただけるとうれしいです。 エミュレーションコアが2つになったので、せっかくなのでエミュレーションコアのインターフェースを抽象化して、マルチエミュレーターにしました。 リリースページ からコンパイル済みバイナリをダウンロードできます。 マルチエミュレーター エミュレーターを作るうえで割と面倒でバカにならないのがフロントエンドUIの作成です。GUIアプリを作るのはそもそも結構大変で、ましてや昨今のアプリケーションはPCだけでなくスマホやWebといったタイプの異なる複数のプラットフォームで動かしたいというモチベーションがあります。特定プラットフォームにべったりで何となく動くように書けばいいやというのと比べると、取れる選択肢も限られてかなり面倒になってき
Googleに入社します｜ばやしこ
こんにちは。ばやしこと申します。 2022年7月より、Googleでソフトウェアエンジニアとして働くことになりました。 アメリカのTexas A&M大学のMaster of Computer Scienceを今年の5月に無事卒業し、卒業後の職としてGoogleからフルタイムのオファーを頂くことができました。 今後Googleを目指す方の助けになればと思い、Googleからオファーをもらうまで自分がどんな勉強や対策をしていたかについて、書かせていただきます。 また、留学に至るまでの流れはこちらの記事を読んでいただければと思います。 (入社予定のDurham, NCオフィス) はじめにこちらは私の体験をもとに書いている記事です。諸々の条件が異なれば、面接の構成や対策も大きく異なります。例えばシニア以上（GoogleだとL5以上、MetaだとE5以上。私はL4でオファーをもらいました）でのポジシ
お近づきになりたい人向けシリーズです。 いろいろなトピックを詰め込みましたが、「これら全部を知らないといけない」のようなつもりではなく、いろいろなことを知るきっかけになったらいいなという気持ちなので、あまり身構えずにちょっとずつ読んでもらえたらうれしい気がします。 まえがき 予備知識 規格 用語 精度という語について 記法 表現について 有限値の表現について エンコードについて 丸めについて よくある誤差や勘違いの例 0.1 = 1 / 10? 0.1 + 0.2 = 0.3? 整数の誤差 Rump’s Example 基本的な誤差評価 用語に関して 実数の丸め 有理数の丸め 基本演算の丸め 差について 複数回の演算 補題たち 桁落ちについて Re: Rump’s example 融合積和 数学関数に関する式の計算 誤差の削減に関して 総和計算 数学関数の精度について 比較演算について 雑
こんにちは、21Bのseasonです。この記事はtraP夏のブログリレー3日目の記事です。 自作Cコンパイラでセルフホスト達成しました。 リポジトリ: https://github.com/season1618/c-compiler/tree/main 自作Cコンパイラでセルフホスト達成しました！！！！！！🎉🎉🎉https://t.co/8fLIAJWksQ pic.twitter.com/2fgH5sKoZ0 — season (@season1618) July 27, 2022 実際にどうやって作るかを書くと長くなるので、ここでは経緯とか完成までの流れとかを書こうと思います。一応開発メモは以下に上げておきました。 開発メモ: https://github.com/season1618/note/blob/main/cs/c-compiler/index.md 経緯 大学の講義で
Rustでゲームボーイエミュレーターを書いた
RustでTGB-Rというゲームボーイエミュレーターを書きました。 とりあえずWindowsとLinuxで動作確認をしていて、エミュレーションの精度もそれなりに出ているはずです（以下は非公式ROMによるスクリーンショット）。 GameBoy WORDLE 2048gb Hi-Colour Demo Bad Apple!! 名前は、以前私が書いていたゲームボーイエミュレーターの精神的後継だったり、Rustで書いていたりとかでこうなりました。 以前書いたエミュレーターもオープンソースで公開していたのですが、ふと検索してみたら、GitHubにプロジェクトができていて、メンテナンスが続けられていました。 私がこれを書いていた時期はGitHubどころかgit自体が存在しないような時代で、サーバーを借りてそこに手作りのアーカイブをしこしこアップロードしていたような、あまりに素朴な開発でしたが、そんな時
米田 優峻さん（E869120@ICPC2022 (@e869120) / Twitter）の著書「競技プログラミングの鉄則 ~アルゴリズム力と思考力を高める77の技術~」をご恵贈いただきました。その感想です。 競技プログラミングの鉄則 (Compass Booksシリーズ) 作者:米田 優峻マイナビ出版Amazon 素晴らしい内容で競技プログラミング初心者への最初の１冊として最もお勧めできる本です。特に、数学も得意というわけではなくプログラミング自体も初めてという方には、ダントツで一番お勧めできる本です。 本書の良い点 １．図が分かりやすい。 最初の48ページが無料公開されているので、百聞は一見にしかずということで見ていただけると良いと思います。i www.dropbox.com 図自体分かりやすいですし全編カラーで書かれているのも良いです。段階的に説明すべきものについて無理に１枚に納め
Hideyuki Tanaka @tanakh そういえば最近のなろうのランキングがすごいっていうんで見てみたらまじですごいことになってるな･･･。なんでこんな「もう遅い」ばっかなの･･･ pic.twitter.com/H5xpHB4i15 2020-11-08 00:52:34 Hideyuki Tanaka @tanakh 今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター tanakh.jp d.hatena.ne.jp/tanakh tanakh.jp
競技プログラミングを終わらせる人々への指摘、頑張っている人々へのアドバイス - じじいのプログラミング
はじめに 競技プログラミングに関連する、以下の記事が話題にあがりました。 nuc氏1つ目の記事 nuc.hatenadiary.org chokudai氏の記事 chokudai.hatenablog.com nuc氏2つ目の記事 nuc.hatenadiary.org nuc氏は、元Googleのエンジニアで面接も担当されていました。現在は某医大の特別特命准教授の方で、2007年頃に東大で競技プログラミングをされていた方のようです（氏名も役職も上記の記事のリンク先で公表されています）。nuc氏の記事は、競技プログラミングに対して「我々の目的の一つは、我々が始めてしまった競技プログラミングを我々が終わらせることです。」といった強い主張が多く、これらの記事の反応をみたのですが、 競技プログラミングをしている方々が、nuc氏の主張で不安になり、特に若い世代で、競技プログラミングをやめようとして
なんか言及もされたのでアンサー的に書いてみたけど、アンサーには大してなってないな? ってやつです。一部で言及された、競技プログラミング (競プロ) 関係の話。 その前に、「プログラミングの競技」っていろいろあります。 短時間で問題に解答していく型 (ICPC / 情報オリンピック / AtCoder Regular / TopCoder とか)最適解が容易に求まらない問題のスコアを競う型 (SuperCon / AtCoder Heuristic / ISUCON / ゴルフ / ICFP Programming Contest の一部とか)対戦型 (ICFP Programming Contest の一部とか、最近のはあんまり知らないですが RoboCode / Imagine Cup とか)謎解き型 (ICFP Programming Contest で何回かありましたね。 UMIX
2011年2月16日に Kaggle アカウントを取得して10年が経過した。長い間 Kaggle Ranking 世界 1 位を目指してきたが、この目標やモチベーションが大きく変化してきたと感じたため、一区切りつけるためにもこの10年+αを振り返る。今の目標は対象を問わずアルゴリズムで資産を最大化すること。エンジニアリングを駆使してデータからアルファを探し、システム化して運用する。実利的で定量評価できる最高に楽しいタスクです（記事では触れません）。 競技プログラミングからKaggleを始めるまで¶ Kaggle ができる前は ICPC や ICFP Programming Contest といった競技プログラミング系のコンテストに参加していた。ICPC ではアジア地区会津大会 2007、アジア地区東京大会 2008 に出場したが大敗して悔しくて仕方がなかった。コードゴルフも嗜む程度に遊んで
【第1回・後編】エンジニア和田卓人のこれからを形作る技術 | GeeklyMedia(ギークリーメディア) | Geekly（ギークリー） IT・Web・ゲーム業界専門の人材紹介会社
『テスト駆動開発』や『SQLアンチパターン』をはじめとする技術書の翻訳者、さまざまなIT企業をわたり歩く技術顧問、さらに最近ではエンジニアリング文化を伝える講演者としても活躍されている和田卓人さん(https://twitter.com/t_wada)。 そのソフトウェアエンジニアとしての素顔を株式会社一休CTOの伊藤直也さん(https://twitter.com/naoya_ito)が聞き出す対談の後編では、現在とこれからのIT業界におけるプログラミング言語のトレンド、具体的にはRustを始めとする静的型付き言語への視座から、 ソフトウェアエンジニアとして新しい技術を学び続けるうえでの態度について語り合います。 ・伊藤 直也さん / 株式会社 一休 執行役員 CTO 新卒入社したニフティ株式会社でブログサービス「ココログ」を立ち上げ、CTOを務めた株式会社はてなでは「はてなブックマーク
紅海で海底ケーブル4本損傷、推定25％のネットトラフィックに影響か | Forbes JAPAN 公式サイト（フォーブス ジャパン）
世界のインターネットトラフィック（通信量）の約97％が海底光ファイバーケーブルで伝送されているが、通信事業者は少なくとも4本のケーブルが先週紅海で損傷したと報告している。イエメンの情勢が不安定なため、すぐに修理できない可能性があるという。 香港の通信大手HGCグローバル・コミュニケーションズは「SEACOM」「TGN」「AAE-1」「EIG」のケーブル4本が紅海で「切断」されたと報告した。 HGCによると、インターネットトラフィックの推定25％に影響が及び、現在、中国本土を経由して東へと迂回して米国へつなぐ措置をとっているという。 モーリシャスを拠点とするアフリカのプロバイダー、SEACOMは米紙ウォールストリート・ジャーナルに運用するケーブルが紅海で損傷したことを認めた。また、紅海の情勢が不安定なため、修理は早くても今年第2四半期になると説明した。 EIGは、米通信大手のAT&Tやベライ
この記事はpyspaアドベントカレンダー2021の三日目です。前日の記事はykubotaさんです。 はじめに 「自分には才能がある！」と信じてこの業界に踏み込んだものの右も左も怪物だらけで形見が狭い思いをしているのは僕だけではない。 憧れるのは異世界転生のような俺TUEEEE展開であり「何ってクイックソートをしただけだが？」とか言ってたら地位と名声が向こうから転がり込んできて欲しい。 しかし世の中そんなに甘くなく、標準ライブラリを使って威張れるのは学生ぐらいのものである。 学生？そうだ！学生の頃から精進しまくっていたら今ごろすごいソフトウェアエンジニアになれていたはずなんだ！という後悔を抱えて生きている社会人が世の中にはいっぱいいる。 そんな立場から若者を見ていると「大学に入ってプログラミングを始めました」という大学生を見かけるたびにアドバイスをしたくなる衝動に駆られるが、毎度同じような事
Hideyuki Tanaka @tanakh 今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター tanakh.jp d.hatena.ne.jp/tanakh tanakh.jp Hideyuki Tanaka @tanakh こういうの書くと殺されるかもしれんけど、人生何回分かは遊んで暮らせるぐらいの資産ができちゃうと、もはや働くって何やねんとか言う話になるんだけど、結局のところ求められ、それに応じるということがなければ、なんか生を感じることが難しくなってたりはしたんよね。 2024-07-05 22:34:59
得意なことを突き詰めた結果、今がある。開発基盤エンジニアとして挑戦と成長を続けられた理由 - Findy Engineer Lab
こんにちは！@giginetです。主にiOS分野の基盤開発を行うエンジニアをしています。 この度、僕のキャリアについて語る機会をいただきました。 他の記事を見渡すと、著名なコミッターや、各社のCTOなど、そうそうたる面々が寄稿されており、僕の話などで良いのかなと恐縮しつつ、筆を執らせていただきます。 こんにちは、giginetです 改めまして、@giginetと申します。 2015年に新卒としてクックパッド株式会社に入社後、モバイル基盤部という全社のモバイル開発を横断的に見るチームで6年間、レシピアプリの開発の主導などで、iOSエンジニアとしてのキャリアを積みました。 今年7月よりLINE株式会社、ディベロッパーエクスペリエンス（DX）開発チームに所属しています。 要は、iOS開発者が快適にアプリ開発を行うお手伝いをする仕事です。 また、iOS領域では、株式会社マネーフォワード、チャット小
競プロは業務の役に立っているか？～ふるやんの場合～
こんにちは。お久しぶりです。ふるやん（@furuya1223）です。 気がついたら社会人一年目が終わっていました。いつの間に。 先日の ICPC のスポンサー紹介動画で「競プロが業務に役立った経験はあるか」について少し触れましたが、その動画の公開が終了したので、社会人一周年記念も兼ねてそんな話をしようと思います。 ※ 2021/4/3 19:03 に「動的計画法」「編集距離 DP」について加筆し、トポロジカルソートに関する記述を一部修正しました。 前置き 私は大学 2 年ぐらいから AtCoder を始めた者です。レーティングは黄色ですが最終参加は 2021/1/16 です。なお、厳密には情報系の学科出身ではありません。AtCoderプロフィール 仕事では音声認識の研究開発をしています。つまり、多くのソフトウェアエンジニアとはだいぶ違うことをしています。 なので、ほとんどの人には参考になら
プログラミング・シンポジウムへの招待
第 66 回プログラミング・シンポジウム、参加募集が始まっています! 現地参加の申し込みは 2024 年 11 月 29 日 (金) が締め切りです。 「プログラミング・シンポジウム」という催しがあります。「プロシン (prosym)」が通称です。 年に一度、毎年お正月の 1 月に開催で、年明けの 2025 年には第 66 回の開催をむかえます。 えっ、年に一度なのに、第 66 回? そう、プログラミング・シンポジウムの第 1 回は、いまから 60 年以上も前の 1960 年 (昭和 35 年) だったそうです。 それ、自分が知ってる「プログラミング」ではない、なにか別のもののことなんじゃ…、と思われた方、ご心配なく。あなたが知ってる、コンピューターを使う「プログラミング」のシンポジウムです。現在では、情報処理学会の主催になっています。 プロシンは学会方面のイベントですが、学術系の研究職で
ISUCON 13 参加記 (白金動物園)
白金動物園の sorah です。優勝した ISUCON 9 以来 Writer や Admin (アドバイザー), ポータルのメンテナ係として運営に幽閉されていて長いこと選手をやっていませんでしたが、今回ひさびさに選手として参加したのでその参加記。 結果としては 18 位で 103,838 点で終了。10 万点到達の着順ではわりと早かったチームになれたものの、その後伸ばせず、かなり悔しい。 https://isucon.net/archives/57993937.html 一方で Ruby を利用して NameError や NoMethodError による fail を高速に繰り返していたため「ベンチマーク Fail 回数の多い 3 チーム」として 53 回で TVer からスポンサー賞をもらいました。我々より Fail 数が多いチームは Go だと思うんだけど、コンパイラがそこそこ怒
HELP! TL;DR; beet_aizuは今からでもエントリーできる企業の情報を募集しています 2020/08/06追記 どうにかなりました 応援ありがとうございました スペック ICPC2020 World Finalist AtCoder 橙(2780) 6週間のインターン経験あり OSS contributer (online-judge-verification-helper) 会津大学早期入学、早期卒業（学部首席） TOEIC 940 このスペックで落ちるなんてことある？（慢心） おまけ アルファベットは適当です（すっとぼけ） G社 半年かけて丁寧にお祈りされた どうしてこんなことに I社 応募して数日で応募ページが消滅した（え？） Y社 1万円くれるイベントをやっていたので流れで応募した 面接で落ちた R社 四回面接して落ちた まとめ う し た ぷ に き あ く ん 涙
現地時間の2023年8月6日(日)、世界最長の海底渓谷のひとつで地滑りが発生し、アフリカにインターネットサービスを提供するための重要な海底ケーブル2本が切断されました。これにより西アフリカの海岸沿いではインターネット帯域幅が激減する事態となり、アフリカのインターネットユーザーが大混乱に陥っています。このアフリカで起きた海底ケーブル切断について、ネットワークモニターサービスやセキュリティサービスを提供するKentikが独自の分析を公開しました。 Dual Subsea Cable Cuts Disrupt African Internet | Kentik Blog https://www.kentik.com/blog/dual-subsea-cable-cuts-disrupt-african-internet/ 2023年8月6日、コンゴ民主共和国とアンゴラにまたがるコンゴ川の河口付近
お題となるWebサービスを限界まで高速化を図るチューニングバトル「ISUCON」。11回目となる「ISUCON11」の本選は9月18日に開催され、598チームのなかからオンライン予選を勝ち抜いた30チームが熱い戦いを繰り広げる予定です。今年は新しい取り組みとして、運営に学生が参加。昨年のISUCON10では2位、3位を受賞、あまりに強すぎて「一体何者？」と話題になり、そしてISUCON11では出題者として参加している学生サークル「traP」のメンバーに、traPがなぜ強いのか、運営になって分かった「ISUCON必勝法」について聞きました。 ISUCONで上位入賞した学生サークル「traP」の強さの秘訣とは？ ――まず、traPの皆さんの自己紹介をお願いします。 temma：temma（てんま）です。東京工業大学 生命理工学系の3年生です。大学ではあまり情報系に関することをしていませんが、「
世界を脅かす北朝鮮のサイバー攻撃能力はどれほど強力なのか？
北朝鮮は、ランサムウェアやマルウェアを利用して各国にサイバー攻撃を仕掛けていることが明らかになっています。そんな北朝鮮のサイバー攻撃に関する歴史や現状について、ジャーナリストのエド・シーザー氏が解説しています。 The Incredible Rise of North Korea’s Hacking Army | The New Yorker https://www.newyorker.com/magazine/2021/04/26/the-incredible-rise-of-north-koreas-hacking-army ◆セブン-イレブンでの20億円不正引き出し事件 2016年に、日本全国のセブン-イレブンに設置されたATMから、合計20億円が不正に引き出される事件が発生しました。この不正引き出しに関わった指定暴力団・山口組に所属していたと自称する下村氏によると、犯行にはナンバー
Hideyuki Tanaka @tanakh 数学苦手だからどの馬が勝っても払い戻しが購入金額以上になる買い方を見つける探索プログラム書いたんだけど、解が見つかった！って出てきてマジかよってなったんだけど、見て見たら全部0円買えばいいって言われた･･･なるほどなあ。(´･_･`) 2022-05-08 15:32:23 Hideyuki Tanaka @tanakh 今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター tanakh.jp d.hatena.ne.jp/tanakh tanakh.jp
あなたのキャリアに影響を与えた本は何ですか？ 著名エンジニアの方々に聞いてみた【第三弾】 - Findy Engineer Lab
書籍には、特定領域の専門家たちが習得してきた知識のエッセンスが詰まっています。だからこそ「本を読むこと」は、ITエンジニアがスキルを向上させるうえで効果的な取り組みと言えます。では、著名エンジニアたちはこれまでどのような書籍を読み、そこから何を学んできたのでしょうか。今回は8人の著名なエンジニアのキャリアに影響を与えた“珠玉の書籍”を、ご本人にまつわるエピソードとともに紹介してもらいました。 *…人名の50音順に掲載。回答者は敬称略。 遠藤侑介が紹介『あなたの知らない超絶技巧プログラミングの世界』 笹田耕一が紹介『Rubyソースコード完全解説 Ruby Hacking Guide』 竹迫良範が紹介『ハッカー・プログラミング大全』 鳥井雪が紹介『Rubyのしくみ -Ruby Under a Microscope-』 廣戸裕大（hiroppy）が紹介『プログラミングコンテストチャレンジブック』
焼き鳥屋で刑法学者と意気投合してコインハイブ事件について書き出すだけの難儀なお仕事 - 白のカピバラの逆極限 S.144-3
JavaScript で仮想通貨を採掘するコインハイブというライブラリがありました。 コインハイブ事件というのは、この仮想通貨をマイニングするプログラムコードを自身の管理するウェブサイトに設置したところ、不正指令電磁的記録保管罪(刑法168条の3)に問われたというものです。 このコインハイブ事件に関して、「アプリ開発の実務を踏まえた不正指令電磁的記録に関する罪の一考察 －コインハイブ事件を契機としてー」というタイトルで千葉大学の紀要に書き、千葉大学のページ上で PDFでも公開されました。 https://opac.ll.chiba-u.jp/da/curator/900119535/S09127208-36-1-P056.PDF https://opac.ll.chiba-u.jp/da/curator/900119535/ 内容に入る前に、まずは、この事件に関わっている、被告人、弁護士、
AtCoderの問題クオリティ AtCoderの問題クオリティはなぜ高いのか？ AtCoderでは、世界一の出題クオリティを目指して運営しており、世界的に高い評価を得ています。 AtCoderの問題作成体制 AtCoderでは、原案提供・Writer・Tester・Adminの4体制でコンテストを作成しています。 原案提供 / Writer / Tester 原案は、問題の元の案です。Writerがその原案を元に問題文の清書・テストケースとチェッカーの作成を行い、Testerが正当性のテストを行っております。AtCoderでは、WriterとTesterが兼任することなく、必ず2人以上の体制で問題を作成することで、コンテスト開催時のミスを軽減しています。ARCやAGCなどの上位向けコンテストでは、さらにAdminが最終チェックを行うため、極めてミスが少なくなっています。 AtCoderの公
高性能・高効率なAIチップ“MN-Core 2”の設計アプローチ ――Preferred Networksによる新しいハードとソフトの役割分担 Preferred Networksという企業 Preferred Networks社（PFN）は2014年に創業した深層学習技術を軸とした企業です。PFNが開発したChainer（PFNは2019年にChainer（チェイナー）から PyTorchに移行すると発表し、開発を終了した）は、このころに深層学習を試した人にはなじみ深いツールでしょう。2017年にトヨタから105億円の出資を受けたり、Green500に何度も選出されたりと、深層学習関連ではトップランナーの1つと思います。 筆者は2023年の12月にPFNを訪問し、土井裕介氏（計算基盤担当VP）に取材する機会を得ました。土井氏は早くからPFNに参加したスタッフの1人でもあり、アーキテク
Author Jared Bauer 私たちの最新の調査結果によると、GitHub Copilot を使って書かれたコードの品質は、機能性、可読性、信頼性、保守性、簡潔性が大幅に向上しています。 GitHub Copilotが一般提供開始されてから2年間で、AIはソフトウェア開発を根本的に変えました。その間に、GitHub Copilotは開発者のコーディング速度を最大55％向上させました。また事前の調査では、85％の開発者が自分のコードに自信を持ち、88％がGitHub Copilotを使用することでよりフロー状態になれていると感じていることが示されました。 しかし、疑問が残ります。GitHub Copilot を使って書かれたコードの品質は、客観的に見て良いのでしょうか、それとも悪いのでしょうか？ これに答えるため、GitHub Copilot を使って書かれたコードの機能性、読みやす
Optuna（オプチュナ）。機械学習のハイパーパラメータ（＊1）を最適化するツールとして、Preferred Networks（PFN）が提供するオープンソースのソフトウエアフレームワークだ。2020年1月の正式版リリース以来、国内外のデータサイエンティストや機械学習エンジニアらに支持され、月間ダウンロード数は50万件を超える（同社調べ）。 そんなOptunaの開発・改良に携わるのが、2020年にPFNに入社したエンジニアの水野尚人さんだ。 特集「データサイエンティストとは何者か」第4回はある意味、番外編。データサイエンティストらに“使われる”人気ツール＝Optunaがどう開発されているかを、水野さんの働きぶりとともに紹介する。【藤崎竜介】 ＊1 機械学習アルゴリズムの挙動に影響する、人が設定すべき変数 〈Profile〉 水野尚人（みずの・なおと） 株式会社Preferred Netwo
レッドコーダー(銅冠です)が就活を(2019年に)体験しました。 留意事項 文章書くのが苦手なので、頑張って解読してください。あとはてなの仕様もよくわからないので謎の文字でスペース調整してますが、許してください。 書くモチベ 巷の就活体験記などでは「レッドコーダーのような強い方々に関してはわかりませんが」などといったフレーズによって無視され続けている存在であるレッドコーダーの話もしたいです 界隈の就活を巡る正しい話正しくない話によそから唐突に変化球を投げる 文章書く持久力の練習 背景 東大農学部 → 東大農学生命科学研究科 修士(2020年修了) (生態学やってました) 🐺 競プロ参加は2009年(中3)から 海外オンサイト(ICPC World Finals 銀, IOI 銀, Facebook Hacker Cup Finalist, Distributed Code Jam Fin
こんにちは、TumoiYorozuです。 現在は東京大学の博士 1 年生をしています。私は中学 1 年の頃からプログラミングをやっていて、特にアルゴリズムが大好きです。AtCoder をはじめとする 競技プログラミング にも取り組んでいて、高校生のときは情報オリンピックにも参加し、大学生のときは ICPC 国際大学対抗プログラミングコンテストに参加していました。現在はこれらの裏方をしています。 今回の記事では、 全くプログラミングを触れたことが無いような中高生を対象に 主にAtCoderや情報オリンピック、ICPCへの参加を考えている方を想定した C++を入門する際に最適な、ブラウザで使用できるコード実行エディタ を制作した話と紹介です！ 良ければこの記事の LGTM、また GitHubリポジトリ の Star よろしくお願いします！ 制作物 こちらのページになります！ Simple C+
自己紹介広木大地氏：「キャリアの考え方」というテーマで、DX時代の人材について話します。自己紹介をします。2008年に新卒の第1期でミクシィという会社に入社しました。そこからいろいろな開発者としてのキャリア、マネジメントとしてのキャリア、サービス役員の執行役員等を担いながら組織改革を行ってきました。 技術と経営をつなぐCTOのノウハウを世の中に広く還元していきたいと思い、レクターを創業しました。その後、上梓した『エンジニアリング組織論への招待』という本が、ビジネス書大賞と技術書大賞を受賞しました。今は小野さん（小野和俊氏）と一緒に、一般社団法人日本CTO協会の理事をしています。 今日は、僕のキャリアを順に追いながら、どのように考えてキャリアを築いていったのかを話せればと思っています。よろしくお願いします。 今日のセッションで伝えたいこと最近、「キャリアをどう考えたらいいですか？」と相談を受
先日、WebAssemblyランタイム Wasmer (https://wasmer.io/) のバージョン1.0がリリースされました。 WebAssemblyは元々はウェブブラウザで実行するための低水準のバイナリコードフォーマットとして導入されましたが、単にポータブルな仮想マシンと見ることもできるので、これを用いてアプリケーション実行環境を作ろうというのも、ごく自然な流れだと言えるでしょう。 WebAssembly公式によって WASI (https://wasi.dev/) というシステムインターフェースが定義されています。まだネットワークAPIが無かったりして、多くのアプリケーションが動かせるという状況ではなさそうですが、将来的にポータブルなアプリケーション実行環境として使えるようになるかもしれません。こう聞くと、誰もがJavaを想起すると思いますが、特定の会社の意向に左右されないオ
【社会人学生AdC '21】退職米国PhD進のすゝめ【12/5】 - tkm2261's blog
お久しぶりですtkmです。今回は退職D進勢もOKとのことで社会人学生AdC '21の5日目として米国でのMS/PhDについて書いてみようと思います。 adventar.org ＊私の詳細な留学模様については過去の記事をどうぞ Ph.D.編入が決まったので入学からあったことを時系列で書いてみる - tkm2261's blog 米国大学院でCS修士について書いてみる - tkm2261's blog コネなし論文なし英語苦手なアラサーのおっさんだけど米国CS大学院入学に頑張ったので全てを晒す ｰ はじめに - - tkm2261's blog はじめに この記事に来た方々は、程度の差はあれD進に興味があるかと思います。ありますよね？ 無責任に言うなら、D進を迷っている人はD進したほうが良いと思います。人類のほとんど全ての人はD進なんて考えもしない中、頭によぎるだけで十分素質があります。 博士
[EN] Writing a Compiler is Surprisingly Easy (part 1)
Part 1: expressions, arithmetic Part 2: statements, control flow Ever since I was a teenager I wanted to create my own systems programming language. Such a programming language would certainly have to be compiled to native code, which meant I'd have to write a compiler. Even though I managed to write several half-working parsers, I'd always fail at the stage of generating assembly code, as the tas
Antti Laaksonen氏の作成した「競技プログラマーハンドブック（原題：Competitive Programmer’s Handbook）」が和訳され、1月7日からGithub上にて公開されている。同書は、競技プログラミングの入門のために執筆されたもので、アルゴリズムを学んでおり、国際情報学オリンピック（IOI）や国際大学対抗プログラミングコンテスト（ICPC）に参加したいと考えている学生を対象とした内容となっている（Akira KANAI氏のツイート、競技プログラマーハンドブック[PDF]、GitHub - recuraki/cphb-ja: (JA)Competitive Programmer's Handbook）。 翻訳をおこなったAkira KANAI氏のツイートによると、基本的テーマから発展的テーマが300ページ超に渡って触れられている内容で、『「こんなのあるんだ!」
こんにちは、2021年4月にfreeeに新卒で入社したberryです。 業務ではQAチームの一員としてプロダクトの品質向上のために働いております。 本記事では、2022年1月にfreeeでオフカツ*1として立ち上がった、競技プログラミング部について紹介したいと思います。 以下、競技プログラミングを競プロと表記します。 目次 競プロとは 競プロ部ができるまで 感想戦の活動 ショートコンペの活動 朝会で宣伝した話 これからの競プロ部 懸念点 これからの展望 最後に 競プロとは まずはじめに、競プロとは プログラミングを使って、パズル的な問題を、制限時間内に出来るだけ多く解くスポーツ と言われています。*2 競プロer(競プロをやる人)は特定の日時に開催されるコンテストに参加してさまざまな難易度、配点の問題を解き、最終的なスコアを競い合います。 この順位に応じてレートと呼ばれる自分の実力を示す数
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
大学で読んだ情報科学関連の教科書 - ｼﾞｮｲｼﾞｮｲｼﾞｮｲ
言語モデルの物理学 - ｼﾞｮｲｼﾞｮｲｼﾞｮｲ
Rustでゲームボーイアドバンスエミュレーターを書いた
浮動小数点型の算術とお近づきになりたい人向けの記事 - えびちゃんの日記
Cコンパイラを作ろう！
「競技プログラミングの鉄則」のレビュー - じじいのプログラミング
「呪詛を感じる」最近のなろうのランキング、職場追放からの『もう遅い』ばかりで、なんとも言えぬすごみがあるらしい
競技プログラミング、ソフトウェア・エンジニア、コミュニティ
Kaggleで10年遊んだGrandMasterの振り返り | ho.lc
若者向けソフトウェア人材おすすめビルドN選 - Qiita
人生何回分かは遊んで暮らせるぐらいの資産ができちゃった人の話→「こういうの書くと殺されるかもしれんけど」
月刊競技プログラミングは役に立たない 特別号：就活編 - beet's soil
海底ケーブルが2本切断されアフリカのインターネットが大混乱に陥る、ケーブル切断にもかかわらず遅延が改善されるケースも
出題者になって分かったISUCON必勝法とは？ ISUCON初の学生運営メンバーに聞く
【競馬】どの馬が勝っても得する買い方を探すプログラム書く→解が見つかった！と思ったら落語みたいな結果に
AtCoderの問題クオリティ - AtCoderInfo
高性能・高効率なAIチップ“MN-Core 2”の設計アプローチ――Preferred Networksによる新しいハードとソフトの役割分担 | gihyo.jp
GitHub Copilotはコード品質を向上させるか？データが語る真実
PFN2年目の若手が挑む、機械学習の“ツール作り”。大事なのは想像力―【PFN】
非情報系レッドコーダーの就活体験 - tozangezan's diary
C++入門者向けコード実行エディタをつくった話 - Qiita
RPGツクールからCGI＆夢小説、ついにはハガキ職人まで 学生時代の広木大地氏を夢中にさせ挫折させたもの | ログミーBusiness
Wasmer 1.0がリリースされたので、ベンチマークを取ってみた
「競技プログラマーハンドブック」和訳される | スラド デベロッパー
競技プログラミング部ができました - freee Developers Hub