擬似コード

はじめに 目次 はじめに 目次 前回までのおさらい 記事の注意点 ダイクストラ・メッセージの構造化原理 ダイクストラが提唱したダイクストラ・メッセージ ダイクストラ・メッセージの構造化原理 手続き型プログラミングから構造化プログラミングへ 数え上げ(enumeration)の推論と連接と選択 不変性の証明に関する例題 ダイクストラの証明 注意点 数学的帰納法と繰り返し 例題 ダイクストラの証明 「連接」と「選択」と「繰り返し」の抽象化 連接と選択と繰り返しの正しさについて 手続き型プログラミングの問題点 手続き型プログラミング クラスプログラミング クラスプログラミングの抽象化 ダイクストラ連…

アジャイルプラクティスガイドブック チームで成果を出すための開発技術の実践知作者:常松 祐一翔泳社Amazon 読もうと思ったきっかけ 普段やらないTwitterをたまたまみる機会があり、たまたま見つけた プロジェクトでリーダー的な動きをしているので良いものがあれば提案して取り組んでみたい アジャイルコーチの下でちゃんとしたアジャイルを経験したことがないので諸々押さえておきたい 知らなかったプラクティスのメモ 第1章から4章までです。 p20 フロー効率 リソース効率と対で紹介されていた 作業を終え価値を付加するまでの時間を短くしようとする考え方 複数人で同じタスクを行うなどによってボトルネッ…

動的計画法 (dynamic programming, DP) はイメージ・メンタルモデルを掴むまでのハードルが中々高いような気がします。 一例を示しますが、必ずしも全部の問題を一貫して説明できるとは限らないので、いくつかのイメージを持っているといいかもしれません（どれかしらに固執する必要はないということ）。 数式がそれなりに出てきますが、苦手な人は深呼吸とかしながら落ちついて読んでもらえるとうれしいです。 数式に関して補足 Python 風な擬似コードで軽く説明しておきます。 $$\sum_{x\in S} f(x)$$ これは、下記の関数の返り値と同じものを表していると思ってください。$\…

はじめに Terraform職人の@minamijoyoです。先日、tfupdateが.terraform.lock.hclの更新に対応しました。v0.7.0から tfupdate lock というコマンドが追加されています。 github.com 例えば、あるディレクトリ配下のすべてのAWSプロバイダを指定バージョンに更新しつつ、複数プラットフォーム混在で使う.terraform.lock.hclもまとめて一括更新するには、以下のようなコマンドで簡単にできるようになりました。 $ tfupdate provider aws -v 5.7.0 -r ./ $ tfupdate lock --p…

（『IT Text 自然語処理の基礎』より）3ヶ月ほど前に空前のLLMブームについて概観する記事を書きましたが、それ以降も世間のLLMに対する狂騒ぶりは収まるどころかますます拍車がかかるという有様で、あまつさえ僕自身の仕事における日常業務にもじわじわと影響が及びつつあり、今後も良きにつけ悪しきにつけLLMと共生し続ける必要がありそうだと感じている今日この頃です。 そんな猫も杓子もLLMに群がるが如き空前のブームを受けて、エンジニアやデータ分析職の方々の中には「LLMに興味はあるんだけど世の中にあまりにも多くのLLM関連コンテンツが溢れ返っていて何から手をつけたら良いのか分からない」という向きも…

はじめに こんにちは、モバイルエンジニアのオジマです。 Swiftにはバージョン 5.1からProperty Wrapperという強力な言語機能が追加されています。SwiftUIの@Stateなどでも馴染みが深いのではないでしょうか。 Property Wrapperは@StateなどのすでにAppleが用意しているもの以外にも、自身でオリジナルなProperty Wrapperを作成し利用することができます。私が携わっているプロダクトでも自作のProperty Wrapperを利用しています。 今回、サイボウズのiOSプロダクトで利用している自作のProperty Wrapperのうち2つを…

KanmuでPoolを開発しているhataです。最近、ロボット掃除機を買いました。ロボと猫がじゃれている景色はいいですね。 今回はGoのユニットテストの並行化についての記事です。 TL;DR Goのテストは、並行化することでテスト実行時間の短縮やテスト対象の脆弱性の発見などのメリットがある 基本的にはそのままでも最適化されているが、テストコードにt.parallelを記述することでよりきめ細やかな最適化を施すことができる ただし、一定規模以上のアプリケーションへの導入・運用は大変 テストコードを一気に並行化するtparagenというツールや、並行化忘れを防ぐ静的解析ツールがあり、これらを使うこ…

統計に使える関数の実装を続けています。2月のLISPもくもく会では二項分布の確率質量関数（dbinom）を実装しました。今度は累積分布関数（pbinom）が欲しいところです。 marui.hatenablog.com 原理どおりに動くのであれば確率質量関数を累積加算すると累積分布関数が作れるのですが、計算機内で累積計算していくと誤差も累積されて正しい答えから外れてしまうというのが普通です。試しに下記のようにp=1/2の条件下で10試行のうち8回以下の回数で成功する確率（と20万試行のうち10万回以下の回数で成功する確率）を計算してみましょう。 (defun pbinom (x n &optio…

出典：Linux Foundation 錦です。 Linux Foundationは、分散システムにて設計・検証・文書化が容易だとされる点で用いられる「TLA+」という言語を促進するため、「TLA+ Foundation」を設立したことを発表しました。

目次 導入 PyMCとは PyMCの最近の動向 コードリーディングの方針とスコープ メインコンテンツ Modelクラスとインスタンス化 with文 メタクラス 実装の確認 確率変数と分布クラスの管理 分布クラスの構造 ベータ分布クラス 分布クラス 観測された確率変数 サンプリング サンプリング手法選定 並列サンプリング NUTS実装 まとめ 導入 こんにちは。InsightEdgeのデータサイエンティストの小柳です。 本記事ではデータ分析の強い味方、MCMCサンプラーの実装を見てみようと思います。 今回取り上げるのは私が普段使っているPyMCというPython用のモジュールです。 実装を読む動…

量子コンピューターはまだ実用化されていないが、暗号化がなされたデータを保存することは可能であり、これが将来的に復号される可能性がある。この手法を SNDL (store now, decrypt later) という。 量子コンピューターが RSA 暗号を解読するアルゴリズムは次の通り。目標は2つの素数の積 を素因数分解することだが、まず と互いに素な整数 を用意する (適当に選べばまず互いに素となるはず) 。つぎに となる を探す。もし見つかれば だが (和と差の積は平方の差) 、この式の2つの因数はそれぞれが と因数を共有している可能性が高いので、最後にそれらをユークリッドの互除法で見つけ…