この1週間はGPT-3のユースケースの広さに驚かされる毎日でした． シリコンバレーでは話題騒然ですが日本ではほとんど話題になっていないので，勢いで書くことにしました． GPT-3はOpenAIが開発した言語生成モデルです．名前の由来であるGenerative Pretrained Transformerの通り，自然言語処理で広く使われるTransformerモデルを言語生成タスクで事前学習しています． 先月申請すれば誰でもGPT-3を利用できるOpenAI APIが発表され，様々な業種の開発者によって驚くべきデモンストレーションがいくつも公開されています． 特に話し言葉からJSXやReactのコードを生成するデモは著名なベンチャーキャピタルから注目を集め，誇大広告気味だと警鐘を鳴らす事態に発展しています． This is mind blowing. With GPT-3, I built
English 久しぶりにExcelでゲームを再現してみました。 ツイッターでどんなゲームを作るのが良いか募集したところ、なんと1位がドラクエ。 初めて質問箱を使ってみます。なかなか決められなくて‥‥。 VBAを使わないExcelゲーム、どれを作るのが良さそうですか？ — パパセンセイ@Excelを眺める人 (@10mikiya) September 21, 2020 正直どう作って良いか見当もつかないまま見切り発車で進めましたが、なんとか形になったので公開の流れになりました。最適化されてないロジックもありますので温かい目で見守っていただけますと幸いです。 一応、再度伝えておきますがVBAは一切使っていません。 [ad01] どんなものが出来たか 実際にどんなものになったか、見ていただいた方が早いのでまずは結果をご覧ください。（※音声はありません） あのイルカ 最後まで見た方が面白いですよ
フリーランスのWebエンジニアとして仕事をする上で、いつも気をつけていたことをつらつらと書いてみます。 フリーランスやっている人、興味ある人の参考になれば。 ※情報商材みたいなタイトルになったけど中身は真面目（多分） ※（一行だけ宣伝）今はSALESCOREでCTOやってます！積極採用中です！自分に興味もっていただけた方、お気軽にご連絡ください！ 自分についての情報フリーランスのWebエンジニアを2年半 当時はRails, Vue.js, Reactがメイン(2018-2020) 情報系の大学院 → メガベンチャー2年 → スタートアップ2年からの独立 今はSALESCOREのCTO 単価は相場の最高額くらい お金の話あんまりしたくないが、みんな興味あると思うので一応 一度お世話になったFindy Freelanceさんの募集を数年ウォッチして、自分がFindyさんで受けた案件が頭を抜けて
このあいだ、GAFA数社のコーディング面接を受けて全落ちしました。後続のため、オンサイト面接がこんな感じだったよ、というのをストーリー風に仕立てて公開します。問題と会話はダミーですが、雰囲気はかなり近くできたと思います。なお実際の会話はすべて英語で、バーチャルでの実施でした。 メイン問題はLeetCodeのNo.1472をもとに作成。 https://leetcode.com/contest/weekly-contest-192/problems/design-browser-history/ ちなみに「ぼく」はIQ+30くらいの設定です。それではどうぞ。 入室と自己紹介 面接官「やあ！わたしはシンディ。会えて嬉しいよ！」 ぼく「こんにちは、シンディ。ぼくはyambe2002。調子はどう？」 面「超いい感じだよ。きみは？」 ぼ「ぼくも超いい感じさ」 面「それはよかった。わたしは部署Aのソフ
バッチ処理 プラクティス
バッチ処理は既に先人の方々が多くのナレッジを公開してくれていますが、それでもなお難しさが変わらないテーマだと思っています。 この記事は、筆者がこれまでの開発経験で気づいたバッチ処理の実装ナレッジを整理し、体系化を目指して文章にしました。 ここでの内容が、より良い課題解決に貢献できれば幸いです。 自身の断片的な思考整理(メモ書き)の延長で内容を整理したため、一部書き振りが統一されておらず、読みにくいかもしれません。ご了承ください。🙏 バッチ処理の難しさバッチ処理は難しい。 人によっては簡単なテーマかもしれませんが、自分は難しいテーマだと思っています。 「難しさの根源は何か？」を考えると、1. 考慮点が多様にあること 2. 解決する課題によって答えが大きく変わること に整理できました。 この2点は、どのソフトウェア開発にも当てはまる項目ではありますが、ことバッチ処理においては顕著に現れます。
追記情報 - (2020/11/7 18:30) @scivola さんのコメントに基づき、 ラスタースキャン、 ベクタースキャン、 ブラウン管 の説明を追加しました。 TL;DR PDFについて次のような内容を（私の好奇心の赴くままに）調べたので共有したいと思います。 「PostScript」とは？ 高速ロードの仕組み フォント埋め込み 「PDFってどんなファイルなんだろう」 PDFを使ったこと無い人はいないと思います。 それほど、PDFは身近な存在となる一方で、その仕組みについて触れる機会はほとんどないと言っても過言ではないです。 何百ページにも渡る本をPDFで開いた時、ページ移動したときに、パッと表示されたりしますよね。 あれってなんでか知っていますか？ 私はもちろん知りませんでした。 たまたま仕事でPDFをあれこれいじるにあたって、仕様がわかってないこともあり、なかなかうまくいかず
Skip to the content. 機械学習の研究者を目指す人へ 機械学習の研究を行うためには、プログラミングや数学などの前提知識から、サーベイの方法や資料・論文の作成方法まで、幅広い知識が必要になります。本レポジトリは、学生や新社会人を対象に、機械学習の研究を行うにあたって必要になる知識や、それらを学ぶための書籍やWebサイトをまとめたものです。 目次 プログラミングの準備 Pythonを勉強しよう 分かりやすいコードを書けるようになろう 数学の準備 最適化数学を学ぼう 基本的なアルゴリズムとその実践 機械学習の全体像を学ぼう 基本的なアルゴリズムを学ぼう 深層学習の基礎を学ぼう scikit-learnやPyTorchのチュートリアルをやってみよう サーベイの方法 国際会議論文を読もう Google Scholarを活用しよう arXivをチェックしよう スライドの作り方 論文の
自称IT企業があまりにITを使わずに嫌になって野に下った俺が紹介するWindowsの自動化の方法 - Qiita
はじめに コンピュータを使用した多くの操作は自動化することができます。 この技術は運用や試験工程で大きな力を発揮します。 自動化の技術は一般的なソフトウェア技術者が、ちょっと努力すれば普通に身につく能力であって、特別なものではありません。 ただ残念なことにこれらの技術はあまり知られておらず、活用されているとは言い難い現場も多いです。 ユーザー企業さんができないのはしょうがないですが、ITで飯を食べているはずの自称IT企業においても、自動化を拒否して手動で心をこめて作業をしてリソースを無駄にするケースを稀によく見かけます。 自動化の拒否が「余剰人員のための経済対策だよ！」という身もふたもない理由でないと信じて今回は、Windowsでの作業の自動化についてお話しようと思います。 自動化のテクニックの話をする前に Windowsの自動化のテクニックの話をする前にちょっと重要なことを先に述べておき
きっかけ Linuxエンジニアとしての基礎力のなさを見抜かれ、これ読んでみるといいよとおすすめされたのがきっかけ。 gihyo.jp 大変お恥ずかしい話だが、自分はエンジニア7年目にして初めてLinuxについての本を読んだ。それまではなにか上手くいかないことがあればブログやQiitaを参考にコピペしてその場しのぎしていただけだった。 目次 第1章 コンピュータシステムの概要 第2章 ユーザモードで実現する機能 第3章 プロセス管理 第4章 プロセススケジューラ 第5章 メモリ管理 第6章 記憶階層 第7章 ファイルシステム 第8章 ストレージデバイス おもしろかったところ メモリ管理 プログラムは直接物理メモリにはアクセスしない。仮想メモリを通して物理メモリにアクセスする forkしたとき、仮想メモリは書き込み権限が付与されずに同じ物理アドレスが紐付いたままの状態。子プロセスで書き込みが走
ツール・ド・フランスについて少し書く
（7/2 再追記しました） 先日からこんなブクマが次々とホッテントリに入って戸惑っています。 ■ツール・ド・フランス、クソ観客のせいで大規模落車 - Togetter https://b.hatena.ne.jp/entry/s/www.afpbb.com/articles/-/3354342 ■ツール開幕ステージで大クラッシュ、主催者は観客訴える意向 写真7枚 国際ニュース：AFPBB News https://b.hatena.ne.jp/entry/s/www.afpbb.com/articles/-/3353664 ■ツールの大クラッシュ、原因つくった観客逮捕 写真13枚 国際ニュース：AFPBB News https://b.hatena.ne.jp/entry/s/www.afpbb.com/articles/-/3354342 あまり熱心とは言えないけれどNHK BS時代から
世界中のITエンジニアが悩まされている原因不明でテストが失敗する「フレイキーテスト」問題。対策の最新動向をJenkins作者の川口氏が解説（前編）。DevOps Days Tokyo 2022
世界中のITエンジニアが悩まされている原因不明でテストが失敗する「フレイキーテスト」問題。対策の最新動向をJenkins作者の川口氏が解説（前編）。DevOps Days Tokyo 2022 世界中のITエンジニアが悩まされている問題の1つに、テストが原因不明で失敗する、いわゆる「フレイキーテスト」があります。 フレイキーテストは、リトライすると成功することもあるし、失敗する原因を調べようとしてもなかなか分かりません。GoogleやFacebookやGitHub、Spotifyといった先進的な企業でさえもフレイキーテストには悩まされています。 このフレイキーテストにどう立ち向かうべきなのか、Jenkinsの作者として知られる川口耕介氏がその最新動向を伝えるセッション「Flaky test対策の最新動向」を、4月21日、22日の2日間行われたイベント「DevOps Days Tokyo 2
NFTアートには手を出すな！｜swmr
まえがきこんにちは。swmr(@sawamuradacun)と申します。こちらは、意欲的な一般個人による考察と議論のもと、日本国内でも急速に広がりつつあるNFTアートの危険性について手短に説明するページです。 NFTが経済活動や自然環境に与えるマクロな悪影響については、これまでにも散々指摘されていますが(「NFT 問題点」などでググってください)、こちらの記事では、主に「NFTアートという仕組みがアーティストにとってどれだけ危険であるか」という観点から、NFTアート市場のもつ構造的な欠陥と、そこから予想される将来的な影響(経済的または法的なリスク)について考察し、できる限りわかりやすい形で記述しています。これからNFTアート市場に参入したいと考えているアーティスト、または既に参入してしまったアーティストも必ず一読をおすすめします。 本文を読むにあたって特別な知識はほとんど必要ありませんが、
組織内のメンバーを「リソース」として見始めると、それを100%使い切ることにばかり注力してしまいます。リソースの稼働率を下げることは、すなわち、生産性を下げること。マネージャーは、まるで強迫観念に取り憑かれたように、そのような考えに囚われます。 自社でのソフトウェアプロダクト開発において、その対象は特に、開発者に強く向けられます。その理由は明らかでしょう。バックログに積み上がり続けるアイデアをソフトウェアに変えられるのは、開発者だけです。より多く、できる限り早く、アイデアを市場投入したい。彼らに空き時間という無駄を作らせてしまうわけにはいかない。 しかし、そのような努力が、必ずしも良い結果につながるとは限りません。むしろ、開発者の稼働率を高めすぎたことが、リードタイムに悪影響を与えているかもしれないのです。そして言うまでもなく、アイデアの市場投入が延びれば延びるほど、ユーザーにとってもビジ
Dockerの概念や仕組みまではなんとなく理解できるもののDockerfileを書こうとするとスムーズに書けなかったり、そもそものDockerの基礎、あるいはコンテナ技術というものの基礎が抜け落ちていてDocker環境に移行できていないところも多いのではと思い、この記事を翻訳しました。 Source：The Docker Handbook by Farhan Hasin Chowdhury（@Twitter） 本記事は、原著者の許諾のもとに翻訳・掲載しております。 コンテナ化の概念自体はかなり古いですが、2013年にDocker Engineが登場したことで、アプリケーションのコンテナ化がはるかに簡単になりました。 Stack Overflow Developer Survey-2020によると、 Dockerは#1 最も望まれるプラットフォーム、#2 最も愛されるプラットフォーム、および
こんにちは。ライターの斎藤充博です。 僕は首都圏に住んでいる在宅フリーランス。運転免許は持っているものの、普段は車の運転をほとんどしません。年に1回くらい、レンタカーを借りて妻とドライブする程度です。運転にもちょっと苦手意識があります。 さて、こんな僕ですが、2022年に第一子が生まれました。今後は子どもと車で出かけたくなることもあるかもしれません。それなら、苦手意識なんて言っていないで、ちゃんと運転できた方がいいのかも……？ というわけで、今回は「安全で、乗っているみんなが心地よい運転」がテーマです。「ハイヤーの乗務員」の教官をしている日本交通・清水さんにお話を伺ってきました。同乗者だけでなく、自分もできれば快適に運転したいという思いも込めながら……。 聞き手の斎藤充博（左）と、日本交通・清水さん（右） そもそも、ハイヤーとは、完全予約制で利用者に合わせたサービスを提供する個別輸送機関で
このエントリは、2018年、2019年に公開したAWS全サービスまとめの2020年版です。これまではいくつかに分割して公開していましたが、1エントリにまとめてほしいという要望をもらっていたため、今年は1エントリに集約してみました。 こんにちは。サービスグループの武田です。 このエントリは、2018年、2019年に公開した AWS全サービスまとめの2020年版 です。これまではいくつかに分割して公開していましたが、1エントリにまとめてほしいという要望をもらっていたため、今年は1エントリに集約してみました。どちらがいいのか正直わからないので、フィードバックなどあれば参考にさせていただきます。 2020-01-08 リクエストがあったためAmazon Mechanical Turkを追加。 2018年まとめ 【2018年】AWS全サービスまとめ その1（コンピューティング、ストレージ、データベー
すべてのフェーズでミスが重なった ―全銀ネットとNTTデータ、全銀システム通信障害の詳細を説明 全国銀行資金決済ネットワーク（以下、全銀ネット）とNTTデータは12月1日、2023年10月10日～11日にかけて全国銀行データ通信システム（以下、全銀システム）で発生した通信障害に関する報道関係者向けの説明会を開催しました。本件についてはNTTデータが11月6日に行った途中経過報告の内容をもとにレポートしましたが、今回、全銀ネットとNTTデータが揃って会見を行ったことで、より詳細な障害の原因が判明したので、あらためてその内容を検証してみたいと思います。 説明会の登壇者。左から、全銀ネット 企画部長 千葉雄一氏、事務局長兼業務部長 小林健一氏、理事長 辻松雄氏、NTTデータ 代表取締役社長佐々木 裕氏、取締役副社長執行役員 鈴木正範氏 なお、全銀ネットとNTTデータは、今回の障害に関して金融
お知らせ 2022年初頭に本記事を元にしたAWS書籍が技術評論社より全国出版決定いたしました。 関係者各位のご協力に深く感謝いたします。 タイトル：AWSエンジニア入門講座――学習ロードマップで体系的に学ぶ 本書籍出版までの制作プロセス、チーム執筆の方法論などをまとめました チームで技術書を出版して学べた共同執筆メソッド はじめに インフラ初学者がAWSを用いた設計・構築レベルに到達するため、学習の全体像をロードマップ図にまとめました。 背景 パブリッククラウド全盛期においてAWSは全エンジニアにとって「常識」となりました。 しかしながら、情報過多によってAWS学習に必要な情報がネット上のノイズに埋もれてしまい、初学者の直感による判断が誤った学習に行き着くこともあります。 このロードマップはAWS学習の全体像を俯瞰でき、パブリッククラウドを用いた設計・構築レベルに到達するまで導く体系的なス
星野源×マフィア梶田――孤独なオタクが「創造」に至るまでをひもとく，非常識な対談 ライター：マフィア梶田 カメラマン：佐々木秀二 星野源さん。職業は音楽家に俳優に文筆家。ほかいろいろ。 そのすべてにおいて非凡な活躍を見せており，エンタメ業界の最前線をひた走る大スターである。 2016年に放送された漫画原作のTVドラマ「逃げるは恥だが役に立つ」の大ヒットは記憶に新しく，直近では綾野剛さんとのW主演で警視庁機動捜査隊の刑事を演じた「MIU404」や，実際に起きた事件をモチーフとした小説原作の映画「罪の声」における役柄も大きな話題となった。 そしてゲーム業界においては昨秋，任天堂の「スーパーマリオブラザーズ」35周年TVCMに出演し，35周年テーマソング「創造」も2021年2月17日にリリースされて，大きな反響を巻き起こしている。 業界の垣根を超えてさまざまな表情を見せてくれている星野さんだが，
50キロ以上の超過は本来、一発免停で、6カ月以下の懲役又は10万円以下の罰金となる。ところが、警護についていた広島県警の後続車両は、140キロで走る河井氏の車を追いかけつつ、事務所に注意を促す電話を入れたのみで、違反を検挙しなかったというのだ。 その決定的な証拠を「週刊文春」は新たに入手した。克行氏と事務所スタッフらとのLINE上のやり取りだ。そこには、10月5日の12時に〈県警より、「現在140キロで飛ばされていますが、このようなことをされたら、こちらとしてはかばいきれません。時間に余裕を持って、時間割を組んでください」とお電話がありました〉と記されていた。 河井氏と事務所スタッフたちのLINE画面 広島県警に聞くと、「個別の事案については回答を差し控えます。ただ、一般論として警護対象者が乗っている車が一時的に法定速度を上回る速度超過が疑われるような事があった場合は、秘書等を通じて是正を
最低限のNetwork知識
ネットワークを集中的に勉強したのでそのうちの基礎的な部分だけを抽出して記事にしました。主にL2とL3の話しかしてないです。(ただの勉強しとことメモです。間違っているところもあるかもしれないのでご容赦ください。) 参考文献(とても良書なので興味ある人は是非) ・tanenbaum先生の教科書(Networkの世界的bible) ・CでネットワークプログラミングをするHands-on本(とても読みやすかった) ・Linuxで仮想ネットワークを構築してみる本(解像度が上がった) ・TCPの最新動向を掘り下げてる本 ネットワークモデルのoverview コンピューターのネットワークはコンピュータ同士プロトコルという決まり事に沿って通信を行うことで意思疎通を図っている。このプロトコルは多数あり、類似したものを同じ階層に分けてモデル化し考えるのが一般的である。例えば、以下の図はOSIモデルと呼ばれる7
世の中には、経営やマーケティングのためのフレームワークや論理モデルが数多く存在しています。これらを学ぶことは、ビジネスパーソンとしての私の基礎力に繋がるのではないかと思い、特に著名なフレームワークを中心に、作られた背景や基本的な特徴を少し調べてみました。 3C マッキンゼー・アンド・カンパニー在籍時代の大前研一氏が1982年に発表した著書『The Mind of the Strategist』の中で提唱したフレームワークです。環境分析の手法のひとつといえるもので、外部分析と内部分析を簡潔に組み合わせて、市場機会を発見することを目的としています。 1980年代、トヨタ、SONYなど日本の製造業が世界市場で高い競争力を持っていました。しかし、成功している企業には必ずしも優秀な戦略コンサルタントがいた訳ではなく、洞察力と直感力による戦略立案がなされていました。 経営やマーケティングに関する「天賦
1/29に行われた東京チャレンジマラソンに出場し、完走した。 2021年から始めた毎日10キロ走り続ける生活も1年を超えたが、ひとまずフルマラソン完走という目標を達成できて感無量である。 35キロの壁は分厚かった フルマラソンを完走して最初に思った事の一つは「世の中には体験しないと理解できない世界があるんだなぁ」という事であった。 僕はそれまで人間の限界というのは心肺機能によるものであり、疲れてしまってもう一歩も動けないというのはゼーハーゼーハー言って、ヘトヘトの状態になるものだと思っていた。 だがフルマラソンにおける限界は心肺機能によるものではなかった。 心肺はむしろ余裕シャキシャキである。じゃあ何が僕を追い込んだかというと、脚である。 マラソンの世界では35キロの壁という概念がある。 これは35キロ地点ぐらいから途端にシンドくなるぞという警告であり、それをもって多くのベテランは 「最初
「ひどい話ですよ」福井県が道路の側溝のフタを外す“落とし穴“を作った驚きの理由（FRIDAY） - Yahoo!ニュース
福井県敦賀市近辺で’22年春に開通した市道西浦2号線鈴ケ崎トンネル付近。手前にある側溝に気づかず、Aさんは車のタイヤがはさまって車に傷がついてしまった（Aさん提供） 東日本大震災による福島第一原発の事故から12年経った現在。原子力発電所を有する全国の自治体では原発災害時の避難道路が整備されつつある。日本原子力発電所がある福井県敦賀市近辺にも原発事故が起きた時の事故制圧や避難用の道路が県や市によって続々と開通した。2022年春に開通した市道西浦2号線鈴ケ崎トンネルもその一つだ。 【写真はこちら】ひどい…修理代が60万円におよんだAさんの車 ◆「駐車をしないよう側溝のフタを外してほしい」 敦賀市在住のAさんが体験した「落とし穴事故」は昨年11月13日、その鈴ケ崎トンネルのすぐ近くで発生した。 「その日はマツダデミオで敦賀市色浜近辺の県道141号線を北（鈴ケ﨑トンネル）に向かっていました。ふと気
ThinkPadユーザならお馴染みのLenovo Vantageから、「BIOSとIntel MEの更新があるので、今すぐ適用してね！」とポップアップが出たため実行したところ、フラッシュが終わったと思しき後から起動しなくなりました。 それを直した時のメモ。 環境メモ 修理方法 EEPROMの特定とROM Programmerの選定 CH341Aについて チップへの接続方法 2023/1/1 14:00 ICパッケージについての追記 オリジナルのバックアップ ファームウェアの解析 ダウンロードデータとの比較 What's next? Write時の罠 本当に正しく書けたのか？ 再書き込み しかし…まだ罠はあった 成功か？……ん…？ 晴れて成功！ 固有データの復元は？ 参考文献 環境メモ マシンThinkPad X13 Gen2 Type Number20WK-CTO1WW 2021/06製
こんにちは、ぬこすけです。 近年、Webフロントエンドではサイトのパフォーマンスの重要性が高まっています。 例えば、GoogleはCore Web Vitalというパフォーマンスに指標を検索結果のランキング要因に組み込みました。 また、近年の某企業が「パフォーマンスの改善に取り組んだ結果、セッション数〇％アップ、CVR〇％アップ...」などの事例は枚挙にいとまがないでしょう。 パフォーマンスチューニングするためには、定量的に計測してボトルネックを探すようなトップダウンなアプローチもあります。 しかしながら、時には千本ノック的にハウツーを片っ端から試していくボトムアップなアプローチも有効になることもあったり、日々のコーディングでパフォーマンスを意識したコードを書くことは大切でしょう。 この記事ではパフォーマンス最適化のハウツーを紹介します。 パフォーマンス改善の施策が思い浮かばない時やフロン
日本の教育格差の絶望的な現実｜小山（狂）
サンデルによるメリトクラシー批判が話題になっているようなので、このnoteにおいても日本の教育格差について自分が見た事情をお話させて頂こうと思う。 以下の文章は2014年に書いたブログ記事の改稿だが、教育格差はその当時から現在まで引き続き拡大し続けている。今はもっと酷いだろう。 ちなみにこの記事は自分が教育という営みに絶望する前に書かれたものだ。 教育困難者に向けた教育ボランティアを3年ほど行った結果、いまの自分は大学受験を経由した階級上昇は「困難」ではなく「不可能」であると考えている。 その考えに行き着いた経緯については、こちらの記事を読んで頂きたい。 ・「底辺からでも努力すれば逆転できる」という神話の嘘 ー ー 数年ほど前にヒットした「ドラゴン桜」という漫画をご存知でしょうか。 「経営破綻寸前の超底辺高校の生徒2人が様々理由から東京大学を目指す」というストーリーで、TVドラマ化や小説化
スターバックスコーヒー（スタバ）の47JIMOTOフラペチーノを全部飲んできました。47都道府県それぞれの地元ならではのフラペチーノを地元のバリスタが考案し、それぞれの地域限定で販売するスターバックス25周年記念企画です。 ※この取材は東京都の緊急事態宣言が解除されたのち、十分な感染対策を施したうえで取材先の感染状況に十分配慮しながら実施いたしました。 ※この記事は株式会社おくりバントの提供でお送りいたします。 1日目 6:00 鹿児島県鹿児島市 鹿児島中央駅 梅雨の真っ只中でありながら見事に快晴な鹿児島よりこんにちは。青い空がとても気持ち良く、早朝の雰囲気と相まってとても爽やかな気分です。 さて、九州の南の端である鹿児島、その鹿児島に朝の6時という早朝から仁王立ちしている僕。なぜこんな事態になっているのか、まずはその理由を説明する必要があるかと思います。 あれは数日前の出来事でした。ネッ
長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に
はじめに JavaScript の非同期処理を学習してみて「ある程度自信を持って理解できたと言える」状態に到達したので、その感想とまとめの学習ロードマップとその中でどのような知識が必要になるかを紹介したいと思います。 あるいは、自分が実際に学習してきた道筋に基づいているのでショートカットとして参考にしてもらったり、使えるリソースなどの情報が共有できると思います。もしくは「JavaScript 初心者が非同期処理を理解できるようになるまでの道筋」というストーリーで１つのサンプルとして見ていただけるといいかもしれません。 ChangeLog 大きな変更のみをトラッキングしています。 2022-11-16 本の内容を反映させた追記・修正を追加 2022-05-21 構成を修正 「V8 エンジンから考える」の項目を追加 2022-04-30 「イベントループの共通性質」の項目を追加 「ロードマップ
Microserviceの分割の仕方について語られているものを収集します。 microservices.ioのサイトに載っている分割パターンは4つ。ただし「自己完結型サービス」と「チームごとのサービス」は、直交していないので大きくは「ビジネスケイパビリティでの分割」と「サブドメインでの分割」の2つ。 ビジネスケイパビリティでの分割 https://microservices.io/patterns/decomposition/decompose-by-business-capability.html 現在の業務機能にしたがってサービスを分割する。 したがって、コンウェイの法則にしたがった分割とされる。 サブドメインでの分割 https://microservices.io/patterns/decomposition/decompose-by-subdomain.html DDDのサブドメ
初代「ドラゴンクエスト」の取扱説明書を読み返してみる。“日本のRPG夜明け前”に，どんなゲームで，どう進めたらいいかを丁寧に説明
初代「ドラゴンクエスト」の取扱説明書を読み返してみる。“日本のRPG夜明け前”に，どんなゲームで，どう進めたらいいかを丁寧に説明 ライター：大陸新秩序 カメラマン：愛甲武司 本日（2024年5月27日）は「ドラゴンクエストの日」。今から38年前の1986年5月27日に，ファミリーコンピュータ用ソフト「ドラゴンクエスト」（以下，DQI）が発売されたことを記念する日だ。 ドラゴンクエストシリーズは，これまでにナンバリング11タイトルと，多数のスピンオフタイトルを展開してきた。言わずとしれた日本のRPGの代表的存在だ。 DQIが発売された1986年当時，すでにPC向けのRPGは，海外産はもちろん国産も存在し，ゲーマーやゲームクリエイターから注目を集めていた。 だが一般的にはメジャーと言えないジャンルだったし，そもそもプラットフォームであったPCを個人的に所有している人は限られていた。そんな時代に
※本日の記事は、東武トップツアーズの提供でお送りします。 こんにちは。炎上研究家のヨッピーです。 皆さんも炎上、してますか？ 「アイドルの熱愛が発覚してInstagramが炎上！」 みたいな話題は本当にしょっちゅう見かけますし、毎日毎日あちこちで炎上騒ぎが起こっているので多少の騒動ぐらいでは「おっ、やっとるな！」ぐらいでなんとも思わなくなってしまったのですが、その中でも「最近やたらと嫌われてるな」と、あちこちでフルボッコに叩かれてるのを目にするのがラーメン評論家と……、 です！ 撮り鉄とは？ 「撮り鉄」とは、鉄道愛好家のうち、特に鉄道車両の写真を撮ることを好む人々。期間限定の車両が走る時や、いわゆる「ラストラン」の時に大きなカメラを抱えた「撮り鉄」が多数集まり、ホームの混雑の一因にもなる事から駅員さんに怒られる事もしばしば。類似語として鉄道に乗ることを好む人々は「乗り鉄」と呼ばれる。 そん
仕事で札幌へ行く用事ができたので、いま空港にいる。 京都からだと、伊丹空港までリムジンバスで一時間。関西空港までだと十五分ほど遠くなるし運賃も倍になるけど、こっちの方が航空チケットが安かったので、関西空港を選んだ。 空港までのリムジンバス乗り場は、京都駅の八条口にある。 八条口といっても、タクシーのロータリーから遠い位置にあるので、市街からタクシーで行く人は「八条口まで」じゃなくて「アバンティ前まで」って伝えた方がおすすめ！わたしみたいに時間ギリギリになって、息を切らして駆け抜けた道を振り返りたくなければな！ 空港までの道のりをゆっくり歩けた記憶がないので、いつもどっかでキャリーバッグを死体のように引きずって走っている。心斎橋筋商店街の店先でチェーンに繋がれて投げ売りされてる安いやつだと一瞬でコロコロがお陀仏になったし、なにより空の状態でも重いので、わたしの持ち物のなかでもキャリーケースは
はじめに 初めまして。ZENKIGENデータサイエンスチームのはまなすです。正式な所属はDeNAデータ本部AI技術開発部なのですが[1]、業務委託という形で今年度から深層学習系の開発等に携わっています。 深層学習界隈では、2017年に衝撃的なタイトル（Attention Is All You Need）の論文が発表されてから早5年半、元出自の機械翻訳タスクを大きく越えて、Transformer関連の技術が様々な領域で用いられる汎用アーキテクチャとして目覚ましく発展し続けています。 今回はそんなTransformerが現時点までにどのように活用されてきたか、また、どのように工夫されてきたかをざっくりと俯瞰し、流れをおさらいする目的の記事になります。本記事の大枠は、2021年時点でのサーベイ論文である A Survey of Transformers に倣いつつ、適宜、2023年2月上旬現在ま
オブジェクト指向がわからないあなたへ
どうも、都内の某企業に勤めるフルスタックエンジニアです。この記事では、ITの非専門家に向けて、オブジェクト指向の解説をしたいと思います。 小学生のプログラミング教育が開始されたり、AIやIoTなどの技術が身近になった今日、オブジェクト指向を理解しておくことは極めて重要です。なぜならば、オブジェクト指向はITエンジニアとっての「共通言語」であって、今やあらゆるソフトウェア技術がオブジェクト指向の上に成り立っているからです。したがって、オブジェクト指向を理解すれば、ITのすべての分野の基礎が身についたことになります。難しい概念がいくつか出てきますが、分かりやすく解説するので頑張ってついてきて下さい！ オブジェクト指向とはまず、オブジェクト指向とは何かを解説します。オブジェクト(object)とは、「モノ」のことです。言い換えれば「モノ指向」です。つまり、コンピュータのようなバーチャルな対象では
Amazon ECS でのコンテナデプロイの高速化 この記事は同僚の Nathan Peck (@nathanpeck)が書いた記事 “Speeding up Amazon ECS container deployments” を翻訳し、加筆・修正したものです. 元記事を ECS ユーザに紹介する機会が何回かあったので、せっかくなので翻訳することにしました. コンテナのオーケストレーションは非常に複雑な問題の一つです. アプリケーションコンテナのデプロイのために、相互にやり取りを行う複数の異なるコンポーネントが存在します. あなたのアプリケーションを実行したオーケストレータは、その実行されたアプリケーションが Web トラフィックを受け取る用意ができているかどうかについて判断する必要があります. その後そのアプリケーションはスケールダウンされたり、あるいは新しいバージョンのアプリケーション
「日本人はマナーがいいなんて嘘」ごみ収集員が対峙する日本の違反ごみ（橋本愛喜） - エキスパート - Yahoo!ニュース
日本人のルールやマナーに対する従順さは、国内のみならず、もはや世界中に知れ渡る「定説」となっている。 電車のホームのドア位置には毎度線からはみ出ることのない綺麗な列ができ、電車が到着すれば誰に言われるでもなく左右に分かれ、降りる人を待つ。 コロナ禍においては度が過ぎた一部の人らが「自粛警察」や「マスク警察」となり、他人のルールやマナーにまで目を光らせ議論を呼んだ。 が、そんな表面上の実態とは真逆の現象に毎朝対峙している人たちがいる。 ごみ収集員だ。 「出されるごみの分別方法は年々悪くなってきています。単身者向けの賃貸アパートや集合住宅はその傾向が顕著です」（栃木県30代女性） 「一度いらないと思った物は、もうどうでもいいんでしょうね。その先にそれを処理する人間がいることなんて考えていない。日本人はマナーがいい？『マナーがいいように見せるのがうまい』だけだと思いますけど」（岡山県30代男性）
舐めすぎている。野戦築城術といういうものは、単一機材によってのみ効果を発揮する物ではなく、地形を含めた総体を以て防御を行うにある。もちろん欧州大戦の塹壕戦を有刺鉄線が支えた側面は否定できない。しかし塹壕戦が戦車によって蹂躙されるまで誰にも突破できなかったのは、そのシステム全体が強固なものであったからだ。 有刺鉄線、というか鉄条網に期待されているのは敵歩兵の突撃妨害に過ぎぬ。あれで殺すのではない、あれで足が止まった連中を火力で薙ぎ払って殺すのだ。実際くぐってみるがいい。なるほど致命傷にはならないだろう。だが現実に痛みを前にすればそれが人間は死との二択であったとしてもなお怯む。肉体を痛めるという原始的な恐怖からは逃れられない。そして人間に覚悟があっても、人間に付随する衣服だベルトだ銃だ雑嚢だには覚悟がない、トゲに引っ掛かって主人の行動を制限する。ソンムで、パッシェンデールで、フランダースでヴェ
ついイライラしてしまい、どうやって解消したらいいかわからない……。そんな人がいる一方で、日常でストレスをうまく発散している温厚な人もいます。今回は「温厚派」と「イライラ派」に分かれ、お互いを理解するための討論会を開催することにしました！ 突然ですが、みなさんはこんなシチュエーションでイラッとしたことはありますか？ ☑水流でお玉の水がビャーってなる ☑電車のドア付近で通路を塞いで立ってる人 ☑何かが落ちてそれを拾った瞬間また別の何かが落ちる ☑勝手に拾ってるめちゃくちゃ弱いフリーWi-Fi ……などなど、日常の「イラッとする」瞬間を数えたらキリがありません。 ですがこういったシチュエーション、イラッとくる人もいれば、「別に平気」という人もいますよね。 そう、世の中には2種類の人がいるのです。 それは…… 温厚派とイライラ派！ 同じ人間なのに、どうしてここまで受け止め方に差が生まれてしまうので
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GPT-3の衝撃 - ディープラーニングブログ
ExcelでVBAを使わないでドラクエ3を再現する | パパセンセイ365
高単価のフリーランス案件で仕事するときに意識していたこと｜Katsuma Narisawa
GAFAコーディング面接こんな感じでした - yambe2002’s diary
僕「PDFとは何か知りたい」 - Qiita
Hiroshi Takahashi
「Linuxのしくみ」をもっと早く読んでおけばよかったと後悔した - ばーろぐわにる
エンジニアの稼働率を上げれば上げるほど機能リリースが遅くなっていく｜mtx2s
Dockerハンドブック - 教会エンジニアの開発日記
人を乗せて運転するプロ、ハイヤードライバーに教わる「みんなが心地よい」運転術 #くるまも - くるまも｜三井住友海上
【2020年】AWS全サービスまとめ | DevelopersIO
すべてのフェーズでミスが重なった ―全銀ネットとNTTデータ、全銀システム通信障害の詳細を説明 | gihyo.jp
クラウドエンジニア(AWS)ロードマップ2021 - Qiita
星野源×マフィア梶田――孤独なオタクが「創造」に至るまでをひもとく，非常識な対談
河井前法相の大幅スピード違反を広島県警が見逃していた！ | 文春オンライン
知っておくと便利な思考フレームワーク×35 | knowledge / baigie
フルマラソンを完走して、限界まで追い込まないと人は壁にすらぶつかれないという事を理解した
BIOS更新で文鎮化してしまったThinkPad X13 Gen2を自力で直したメモ
Webフロントエンドパフォーマンスチューニング80選 - Qiita
47JIMOTOフラペチーノを全て飲むために47都道府県のスタバに行ってきた | SPOT
自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
JSの非同期処理を理解するために必要だった知識と学習ロードマップ
Microservices分割大全 - kawasima
撮り鉄のマナーの悪さや、同じ写真撮る理由を撮り鉄に聞いてきた | SPOT
伊丹空港へ飛ぶはずが｜岸田奈美｜NamiKishida
30分で完全理解するTransformerの世界
Amazon ECS でのコンテナデプロイの高速化
舐めすぎている。野戦築城術といういうものは、単一機材によってのみ効果..
なんでそんなにストレス感じるの？「イライラ派」vs「温厚派」討論会 | オモコロ