伝説の王妃について調べてみた。FGOでラクシュミー・バーイーが登場して驚いた件その2｜天竺奇譚
なますて。天竺奇譚です。 まずはじめに。 この記事は、前回書いた「FGOでラクシュミー・バーイーが登場して驚いた件。英国統治時代のインドとインド独立についてざっくりまとめ。」の続きみたいなものなので、先に↑を読むと（めっちゃ長いけど）背景がわかってよいかもしれない。 ちなみに前回の記事、予想以上に読まれていて、noteで1週間で一番読まれた記事にもなったぽくて、インド近現代史に興味をもった方々の知識欲マジすごいびっくりしたし、ネットの海の片隅でオタクが書いた記事をたくさんのひとが読んでくれたと思うとほんとありがたいです拝みたい。 さて、今回の記事は、前回の記事には入りきらなかった、伝説の王妃ラクシュミー・バーイーとはどんな人物だったのか、調べたこととおもったことなどを書き連ねている。相変わらず長いしだらだら書いてるだけなので読みにくかったらすまない。あと、前回の記事よりざっくりしてないので
仕様記述テクニック「Promotion」の紹介 - DeNA Testing Blog
こんにちは、SWETの鈴木穂高（@hoddy3190）です。 私はこちらの記事に記載の通り、形式手法の可能性を模索しています。 現在はツールやゲームの仕様を形式的に記述すること（形式仕様記述）で、仕様の欠陥をなるべく早く見つける取り組みにチャレンジしています。 今回は仕様記述をするにあたりよく使う重要な記述テクニックである「Promotion」を紹介します。 形式仕様記述とAlloyというツールを知っている人を対象にしています。 もし形式仕様記述やAlloyをご存じない方は、以前私がbuilderscon tokyo 2019で発表したときに使った資料をご覧ください。 Promotionとは 一般にソフトウェアシステムは複数のコンポーネントから構成されます。 システム全体としての状態（以下、システム状態）は各コンポーネントの状態の組み合わせからなります。 たとえどんなに奥深くのどんなに小さ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
