ワイドインタビュー問答有用：スパコンの栄光と挫折 井上愛一郎・元「京」開発責任者／781 | 週刊エコノミスト Online
「京は日本のものづくりの洗練の極みだと思う」 撮影＝浜田 健太郎 スーパーコンピューター「京」世界一を主導した天才肌のエンジニア。だが目標達成が見えてきたその時、部下１００人を奪われ富士通で居場所を失った。不遇を乗り越えた今、高校生へのＩＴ教育に情熱を注いでいる。 （聞き手＝浜田健太郎・編集部） 「計算力を分散させた発想は時代を先取り」 「日本でなぜ技術革新が阻害されてしまうのか、身をもって経験した」 ── 国立研究開発法人理化学研究所と富士通が共同開発したスーパーコンピューター「京」が昨年８月、電源を遮断して、２０１２年９月の本格稼働から７年間で運用を終えました。井上さんは富士通側の責任者でしたが、どんな心境でしたか。 井上 一つの時代が終わったなという思いでした。京は、単体としてのコンピューターの性能向上を求められる時代の最後に登場したスパコンだったからです。その後、スマートフォンなど
Kyoto University Research Information Repository: プログラミング演習 Python 2021
本書は京都大学の全学共通科目として実施されるプログラミング演習(Python)の教科書として作成されたものです． 2021年度版では2020年度版での誤植などを修正し，読みにくい文章などを改訂し，2020年の授業の中で補足した説明などを追記しました．また，2020年度版では10章に置いていたリストの紹介を4章に移動し，リストを対象とするfor文の扱いを見直しています．これまでの授業実践に参画いただいた岡本雅子先生に本書の改訂から新たに共著者として加わっていただきました． 2021年度版ではソースコードの記載に新たに開発したK2PFEフォントを用いています． K2PFEフォントは著者のうち喜多と京都市立芸術大学教授，辰巳明久氏，同非常勤講師，楠麻耶氏，京都大学助教，元木環氏との共同研究により開発いたしました．また，同フォントの開発は，一部，科研費－学術研究助成基金助成金(課題番号21K028
タッパーの自己言及式の謎を解く - プログラミングの備忘録
こんにちは。 今回は「タッパーの自己言及式 (Tupper's self-referential formula)」を取りあげようと思います。 (記事タイトルを AI が生成してくれるようになったので、さっそく使ってみました。) 例のごとく、少し前にこんなツイートを見かけました。 Tupper's self-referential formula is a formula that visually represents itself when graphed at a specific location in the (x, y) plane. pic.twitter.com/QVxB3fozpe— Fermat's Library (@fermatslibrary) 2022年10月14日 (Fermat's Library は理系的な雑学のツイートが多く、知見が広がるのでよく見ていま
「富岳」の原点ファミコンにあり ４０年前、名作「ピンボール」を開発 理研センター長
自身がプログラミングした「ピンボール」の画面を見せながら当時を振り返る松岡さん＝神戸市中央区港島南町７、理化学研究所計算科学研究センター 神戸・ポートアイランドのスーパーコンピューター「富岳（ふがく）」の開発を主導した理化学研究所計算科学研究センター長、松岡聡さん（５８）に、もう一つ開発したモノがある。家庭用ゲーム機「ファミリーコンピュータ（ファミコン）」で大ヒットしたソフト「ピンボール」だ。４０年近く前にゲームプログラマーとしてハードウエアと向き合った経験は後のスパコン開発につながっている。（霍見真一郎） 松岡さんは東京出身で、１９６３年生まれ。科学館のような施設に小学２年生から通い始め、電気工作などに没頭した。 「作るのが面白かった。ラジオを鳴らしたり回路の働きを学んだり。科学少年でしたね」 ちょうど米国のアポロ宇宙船が月面着陸した頃で皆が宇宙飛行士に憧れたが、松岡さんはロケットを作る
thinkpython.dvi
Think Python B 2 Think Python: How to Think Like a Computer Scientist 2nd Edition Allen B. Downey Copyright c �2018 ThinkPython: by is licensed under a Creative Commons 3.0 License 3 11 1 15 1.1 . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.2 Python . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.3 . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.4 . . . . . . . . . .
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜Webエンジニアのキャリアを考える！
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう！ coqtokyoを主催する今井宜洋さんの解説です。 みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する」ってどういうこと？ Coqを使ってみよう Coqのインストール方法 CoqIDE：Coqによる証明開発のフロントエンド Coqで関数プログラミング プログラムの仕様を記述しよう 証明開発モード ゴ
ナーシャ・ジベリの偉業
平素お世話になります。 2017年、スクエアエニックス社が提供するテレビゲーム『ファイナル・ファンタジー』シリーズが30周年を迎えますね。私も、FFはほぼ全ナンバリングをプレイしてます！ そんなFF、ここまでのロングランを達成するためには、多くの天才が携わっておりました。今回はその中でも、「伝説の天才プログラマー」と呼ばれている ナーシャ・ジベリ氏 について、まとめていきたいと存じます。 ナーシャ・ジベリ氏の来歴 名前：ナーシャ・ジベリ（Nasir/Nasser Gebelli, ناصر جبلی ） ナーシャ・ジベリ氏は1957年、イランで生まれました。そして、ナーシャ氏はイランの王族なのです！ ※日本語では「ナーシア・ジェベリ」、「ナシャ・ジェベリ」など様々に表記されることがございますが、本エントリーでは「ナーシャ・ジベリ」で統一させていただきます。 AppleⅡのゲームクリエイタ
まじな話をすると、N予備校のプログラミング入門コースやるのがオススメ。 ..
まじな話をすると、N予備校のプログラミング入門コースやるのがオススメ。 https://www.nnn.ed.nico 一日8時間勉強時間があるなら、だいたい一ヶ月で終わる内容。 月額1000円だけどしっかり勉強すれば一ヶ月の無料期間中に終わると思う。 もともとN高等学校のノンプログラマーの生徒をWebエンジニアとして就職させるために作られたカリキュラムで講師曰く去年はこれで二人エンジニア就職を決めたらしい。 内容も相当親切に説明していて、プログラミングで何か作るだけじゃなくて、就職に必要な環境構築やセキュリティまでみっちりやる。 http://qiita.com/sifue/items/7e7c7867b64ce9742aee#%E3%82%B3%E3%83%B3%E3%82%BB%E3%83%97%E3%83%88%E3%82%92%E3%82%82%E3%81%A8%E3%81%AB
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「Python ゼロからはじめるプログラミング」サポートページ
自宅で副業独立宣言！ 副業のご提案（自宅で副業倶楽部）