何かを作る時、誰かの考えを別の誰かに適切に伝えるために、「仕様書」があります。否定、推論表現、時間表現など、仕様書の読み取り方、書き方を学ぶための一冊です。 内容紹介何かものを作るためには、何のために何を作るのか、それはどうやって作るのか、どうやって使うのか、どうやって修理するのか、どうやって廃棄するのか等を考えなければならない。もし、自分一人のための何かを、一人で作るのであれば、考えて実行するだけでよい。しかし、誰かと一緒に作るのであれば、あるいは別の人が使うのであれば、「考えを」伝えなければならない。 考えを伝えるもの、それをここでは仕様書と定義する。他の人に何かを頼むときに必要になるものが仕様で、それを表現したものが仕様書である。 (第1章「仕様書とは」より) ソフトウェア開発に限らず、ものを作る現場では「仕様書」が不可欠です。しかし、自然言語で書かれた仕様書には、曖昧な部分（グレー

はじめまして。バーチャルVTuber*1の毬戸彰子です。 趣味としてMagic:The Gathering（以下、マジック）を嗜んでおります。とはいえ、偉そうに戦略記事なんかかけるほど強いわけでもなく。そういう記事はプロプレイヤーや専門家の皆様におまかせしまして、全くためにならない雑学記事を書きたいと思い、このブログを解説してみました。 マジックのことが中心になるかと思いますが、書くテーマはマジックに縛られず自由に設定していく方針です。百合小説とか同人誌とか好きなので、そのへんの感想とかダイレクトマーケティングとかの記事もそのうち書きたいですね。 そういう感じでゆるくやって行きたいと思いますので、よろしくおねがいします。 さて、第一回目のテーマはマジックが産んだ一つの伝説。『平地6000』のお話です。 本題に入る前に、枕としてのお話をば。 マジックと伝説。この2つの言葉から、皆様は何を思い

使っていた端末の調子が悪くなって端末交換したので、開発環境構築のお時間です。 できるだけ簡単に旧端末の設定を引き継ぎつつセットアップしたかったので、いろいろと調べてまとめてみたら、1コマンドでできるようになりました。(準備は含めず) 旧端末を環境構築したときとだいぶ変わりました。 5分でできるMacBook Proに最低限の開発環境構築 – Qiita https://cloudpack.media/42029 手順 ターミナルを立ち上げて、 > sh -c "$(curl -fsSL https://gist.githubusercontent.com/<GitHub UserID>/<Gist ID>/raw)" おーかんたん。これで必要なアプリがだいたいインストールされます。 ※コマンド実行中、パスワードを求められることがあります。 何をしているのか？ セットアップに必要なコマンドを

外出自粛ムードのなか、需要が増えているネット通販だが、国内大手「楽天」の通販サイト「楽天市場」は、送料無料化問題（※注）で揺れている。 反発した約200の出店者が「楽天ユニオン」を設立し、公正取引委員会が楽天の調査を続けるなど、動向が注目されている。そんな中、楽天内では、ある疑惑が浮上していた。楽天の関係者が語る。 「楽天には出店店舗などがIDとパスワードを使ってアクセスできる管理システムがあり、その店舗で購入したユーザーの個人情報を参照することが可能です。その管理システムに、不自然なログインの形跡がでてきたため内々に検証を進めると、不特定のIPアドレス（回線利用者の識別ができる番号）からのアクセスが確認されたのです」 ◆2回ログインの形跡 閲覧が制限された管理システムに、何者かが入っている──。 楽天のような大手ネット通販サイトなどに集まる個人データの取り扱いについて、3月10日に閣議決

Scala の trait と Rust の trait は微妙に使い方が異なる、とよく質問を受けます。たしかに、使い心地は微妙に異なるかもしれません。Scala はオブジェクト指向を中心に設計された言語ですが、Rust はそれを中心に設計されているとは言えません*1。こういった言語設計の差が、trait の使い心地の違いを生み出していると私は思っています。 両者の trait には、共通した特徴もあります。共通した処理をまとめあげるという意味では同じ目的をもっているといえますし、また、「犬は動物である」「猫は動物である」の共通性を示すことで、共通したものをひとまとめに処理しきることもまた可能です。 Scala には implicit という強力な機能が存在します。これは柔軟でスケーラブルなソフトウェアデザインを可能にする Scala の特徴のひとつです。非常にすばらしい機能です。この機能

How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ

地球の周りを回っている「第2の月」が見つかった。米アリゾナ大が小惑星や彗星（すいせい）を捜索している計画「カタリナ・スカイ・サーベイ」の望遠鏡が発見し、国際天文学連合が25日に発表した。直径2～3メ…

TL:DR レポジトリ https://github.com/tanakh/easy-scraper ドキュメント 背景 このところ訳あってRustでHTMLからデータを抽出するコードを書いていたのですが、 既存のスクレイピングライブラリが（個人的には）どれもいまいち使いやすくないなあと思っていました。 HTMLから望みのデータを取り出すのはいろいろやり方があるかと思いますが、 ツリーを自力でトラバースするのはさすがにあまりにも面倒です。 近頃人気のライブラリを見てみますと、CSSセレクターで目的のノードを選択して、 その周辺のノードをたどるコードを書いて、 欲しい情報を取り出すという感じのものが多いようです。 RustにもHTMLのDOMツリーをCSSセレクターで検索して見つかったノードをイテレーターで返してくれたりする、 scraperというライブラリがあります。 例えば、<li>要素

オモコロライターには悪人ヅラが多いと言われたので、本当に容疑者として捕まっていそうなライターを決定することにしました。 こんにちは。オモコロ編集部です。 現在、オモコロは30人を超えるライターが現役で活動しており、顔出しで記事を書いているライターも少なくありません。 そんなオモコロですが、読者の方からよくいただく感想があります。 それは…… オモコロライターには警察のお世話になってそうな顔のヤツが多いというのです。 そんな感想を目にするたびに「顔で判断しないでよ！」とライターの心は傷つき、夜な夜な枕を濡らしていました。 しかし、最近は言われすぎて「本当にそうなのかもしれない」という気分になってきました。 だったらやってやろうじゃないですか！ 今回は「どのライターの顔が警察のお世話になってそうなのか？」を競う、 「第1回 容疑者フェイス選手権」を開催します！ 「容疑者フェイス選手権」ルール

「いや、分かりますよ。私も大工やってたからね」 約20人が働く静かなオフィスに、電話をしている男性の太い声だけが響く。 「『私も大工だったから』ってなべさんの口癖なんです。『私もそっち側の人間だから』もよく言ってますね」 ローカルワークスで人事を担当する坂下彩花さん（32）はニヤニヤしながら小声で解説した。 リフォームを希望する消費者と地域の工務店をつなぐサイト「リフォマ」を運営するローカルワークス（東京）。2014年創業、社員21人の平均年齢30歳という若い会社で大工歴30年の「なべさん」こと渡邉一伸さん（60）が働き始めて2年半が経った（ちなみに、なべさんの加入で同社の社員の平均年齢は一気に2歳上がった）。 ひ孫までいるなべさんは、なぜ還暦目前でIT企業の新入社員になったのか。そして見た目通りのアナログななべさんと同僚たちは、どうやって融和しているのだろうか。 会社を訪問した人からは、

10歳だった。 その時ぼくは、まだ「ソビエト連邦」だったモスクワにいた。 そこで見たのは、「国」というものが劇的に変化する瞬間だった―― 外務省が公開した6000ページにのぼる外交文書。外交官たちの生々しい報告が、私をあの時代に連れ戻した。そして私は、何が起きていたのかを初めて実感した。 （政治部・渡辺信） その書き出しは、文学的だった。 『ＢＵＫＳＯＶＡＴ（空転する）。２年１か月のモスクワ在勤を終え帰国する日、空港の暗い待合室で搭乗を待ちながら、ふと、この単語が頭に浮かんだ。ゴルバチョフの始めたペレストロイカを、ひと言で総括するとすれば、まさに「空回りしている」というのが適当ではなかろうか』 1987年11月の「ソ連在勤を終えて」という報告書の冒頭だ。書いたのは、モスクワの日本大使館の政務班長だった角崎利夫氏。これまで私が読んできた硬い外交文書とは異なる表現で、1985年に書記長に就任し

エムスリーエンジニアリンググループの冨岡です。この記事はエムスリーAdvent Calendar及びScala Advent Calendarの20日目の記事です。 はじめに Future の特徴 Future の長所 標準ライブラリで提供されている 抽象化の戦略がわかりやすい Future の短所 処理を即時実行する 結果が否応なしにメモ化される ExecutionContextが必要なシーンが多い 参照透過な作用 （コラム）プログラムをプログラムすることについて 3rd party の Pure Effect ライブラリの紹介 Cats Effect: IO Monix: Task ZIO まとめ 参照透過性について補足 We're hiring! はじめに Scalaでは、作用、特に非同期での作用を扱うためのデータ型として scala.concurrent.Future が提供されて

言語実装 Advent Calendar 2017 の16日目の記事です． GoCaml という OCaml のサブセットな言語を実装していて，多相型の型推論を実装するために論文を読んだり OCaml の実装をちょっと追ったりしていたので，その知識を整理する意味でこのエントリを書いています． この記事では OCaml の型推論器のベースになっている「レベルベースの多相型型推論アルゴリズム」について概略を直感的に説明しようと思います． 理論的になぜこのアルゴリズムで正しく動作するのかについてはこの記事で概要を把握した上で論文 のほうを読んでいただければ理解が速いと思います． また，この記事では最もシンプルな単相型のHM型推論については知っている前提で書きます． ご存知でない場合は， 住井先生の MinCaml の型推論実装の解説 五十嵐先生の型推論の解説 20日目の@uint256_t さん

ゲーム「Diablo2」の記事です。メモ、備忘録、連絡などです。 随時更新します。 （2021年10月1日大幅に更新） ■diablo2 resurrectedの皆様へ ■Speedrun情報の誤解 ■初期育成メモ ・1人目は人柱 ・キープする最重要品 ・2人目以降でHell攻略 ・別の方針。リスペック前提で進める ・経験値の仕組み ・狙う敵と無視して良い敵 ・火力と殲滅速度 ・主なレベリング狩場 ■後半との価値差 ・店で悩んでも時間の無駄 ・メインキャラのバトンタッチも大事 ■ラダー序盤チャート ・マッピング ・Act1 ・Act2 ・Act3 ・Act4 ・First Killについて ・Normal Diablo以降 ・Act5 ・3馬場 ■NM、Hell ■Hell以降 ■資産 ■トレード ・トレード相場は存在しない ■トレハン基礎 似たようなメモページがあるのでそちらも参照してく

ルート次第でAルートでは仲間で良い感じだったのにBルートだと敵になるとか ハッピーエンドに見えて実は別ルートに行くと… とにかくそういうのが好きなんだけどなんかない？

.NET Frameworkのプロジェクトで一部のコードを別のソリューションからリンクで参照するということはよくあるケースだと思います。 GitHubでバージョン管理している.NETプロジェクトはAppVeyorを使用してビルドしているのですが、 AppVeyorでこの関係性を持ったプロジェクトをビルドするのは厳しいと、調べもせず勝手に思っていたためビルド対象から除外していました。 *1 しかし考えてみれば、AppVeyor内のビルド環境に参照先のファイルが存在するリポジトリさえクローンできればビルドは通るはず。 感覚的にはnuget restore的に、ビルド前にAppVeyor内でgit cloneしてやれば解決するじゃないかと思ったのでやってみました。 前提として、ローカル環境のビルド対象(TargetProject)リポジトリと参照先(ReferenceProject)リポジトリは

若い子に多い

どうも、リストア職人のさぼです。みなさんmacOSをどのぐらいの頻度でリストアしてますか？1年に1回はやってますよね？僕は3ヶ月に1回はやるようにしてます。綺麗な状態にしてOSが最大限のパフォーマンスで動いた方がいいし手元に入れたよくわからないアプリがずっと入ってるのって気持ちよくないじゃないですか。なのでMacを定期的にリストア(工場出荷状態に初期化)してます。 前回までは真っ白な状態からだいたい3時間ぐらいで普段開発している環境を構築できるようにしていたのですが今回から開発環境を全部Dockerにしてみようと思ってやってみたところ1時間半で開発環境を終えて作業開始できる状態までの最短記録を更新しました！ おわり(おわらない) いつもやってる手順を振り返りがてら紹介していきます。 Brewfile いつもリストア後は brew bundle コマンドでアプリやソフトウェアを入れるようにし