マネーフォワードCTOが考えていること（2020年3月） - Money Forward Developers Blog
こんにちは、マネーフォワード CTOの中出(なかで)です。 CTOの私が普段なにを感じて、どんなことを考えているかを、改めて言語化して、社内に共有するという取り組みをしています。 そうしたところ「当社のエンジニア組織に興味を持っている方にも読んでいただくのがいいのでは？」という社内の意見もあり、今回公開することにしました。 もちろん、日々考えていることは変化しているので、今後は四半期に一度ぐらいの頻度で、変更があれば更新していきます。 ※公開用として、社内向けの内容を一部編集しております。 これからのマネーフォワードのエンジニア組織について まず、マネーフォワードのエンジニア組織として「どこを目指すのか」という話をしたいと思います。 もちろんビジネスには「やれる・やれない」という議論も必要ですが、まずは私たちが「どこを目指すのか」という意志が必要です。 そして、「どこを目指すのか」を決めた
Engadget | Technology News & Reviews
iPad Pro (2024) review: So very nice, and so very expensive
クイックソートは半順序でもソート可能であることをCoq/SSReflectで証明する - Qiita
はじめに 前回の記事で、全順序が仮定されているからこそうまくいくソートアルゴリズムを半順序で使用するとどうなるかを見ました。結果としてクイックソートなら半順序でもうまくソートできることを見ましたが、本記事では、これを定理証明支援系Coqを用いて、形式的に証明していきます。 定理証明支援系Coqに関して軽く説明しておくと、プログラムが正しく動くことを、数学的に検証できるツールとして使えるものです。 クイックソートを定義 SSReflectのpathライブラリには、標準のソート関数sortが定義されていますが、このアルゴリズムはマージソートなので、前回の記事で検証したように半順序では使えません。 そこでCoqでクイックソートを定義します。 まず定義の前に、ソートを行う要素の集合Tと、半順序関係Rを宣言しておきます。実際にはTは型で、RはただのT上の二項関係T -> T -> boolとして定義
Amazon EKS ワーカーノードの謎を解くクラスターネットワーク | Amazon Web Services
Amazon Web Services ブログ Amazon EKS ワーカーノードの謎を解くクラスターネットワーク AWS で Kubernetes を実行するには、AWS のネットワーク設定と Kubernetes のネットワーク要件の両方を理解する必要があります。デフォルトの Amazon Elastic Kubernetes Service (Amazon EKS) の AWS CloudFormation テンプレートを使用して、Amazon Virtual Private Cloud (Amazon VPC) と Amazon EC2 ワーカーノードをデプロイすると、通常の場合、すべて機能します。しかし、設定に小さな問題があると、エラーが発生してイライラさせられることがあります。 このブログでは、Amazon VPC を設定するさまざまな方法を見ながら、Amazon EKS が
Google Search Consoleに2つのユーザー設定機能が追加――「メール設定」と「検索結果でのSearch Console」
[レベル: 初級] Search Console に「ユーザー設定」機能が追加されました。 次の 2 つの設定を変更できます。 メール設定 検索結果での Search Console 📢 Want better control over your Search Console user level preferences? Here you go! ✔️ NEW: Choose whether to show performance data for your property directly in Search results. ✔️ ENHANCED: Choose which types of emails you want to get. Read more at https://t.co/JN5B9JIwox pic.twitter.com/BW6ARKgGDi — Goog
Job Titles and Levels: What Every Software Engineer Needs to Know — Holloway
Job Titles and Levels: What Every Software Engineer Needs to Know Your guide to what software engineering job titles really mean, how companies standardize levels, and how they relate to your work and pay. Photo by Ales Krivec on Unsplash. This post is excerpted from Holloway’s Guide to Technical Recruiting and Hiring. Typically, everyone on a software team has a job title and knows it. It could b
TypeScript JPの代表交代のお知らせ
TypeScript JP の代表のれこです。これまで TypeScript meetup の主催および TSConf JP 2020 の事務局の代表を務めていました。 本記事では一身上の都合により、TypeScript JP の代表を交代することを報告します。 経緯 代表交代の背景としては、2 月に海外の企業から転職のお誘いを受けて海外へ移住することにしたため、私が日本のコミュニティに時間を割いて向き合うことができなくなるためです。 TSConf JP について TSConf JP 2020は COVID-19 の影響を受け中止いたしました。 今回の中止にあたって興行中止保険が適応できたため資金的な致命傷は回避できました。保険の適用によりノベルティを販売できないなどいくつかの制約はありますが、発生した費用、頂いた代金やスポンサー費、および話されるはずだったトークの知的財産は守ることができ
Linuxカーネル5.6リリース、WireGuardのサポートが実現 | OSDN Magazine
Linus Torvalds氏は3月29日、最新のLinuxカーネルとなる「Linuxカーネル5.6」のリリースを発表した。 Linuxカーネル5.6は2020年1月末に公開されたLinuxカーネル5.5に続くもので、7回のリリース候補（RC）を経ての最新版となる。 オープンソースのVPNプロトコルWireGuardがカーネルレベルでサポートされ、外部カーネルモジュールを使用することなく利用できるようになった。ネットワーク関連では、既存のPIEとパケットスケジューラーFQ（Flow Queue）を組み合わせたAQMアルゴリズムのFQ-PIEをサポートしたほか、Intel Virtual Busのサポートなども加わっている。 バージョン5.1で導入された非同期I/O向けの高性能なインターフェイスio_uringも強化した。実験的扱いではあるがUSB4のサポートも加わった。Berkeley P
AIと量子アニーリングでごみ収集ルート最適化 総走行距離2300kmを1000kmに短縮 三菱地所ら
ごみ収集ルートを機械学習と量子コンピュータ（量子アニーリング方式）を用いて最適化すると、従来の総走行距離を約57％削減できる──AIモデル構築などのクラウドサービスを提供するグルーヴノーツ（福岡市）と三菱地所は3月30日、こんな計算結果を発表した。 三菱地所が東京・丸の内エリアで運営する26棟のビルから廃棄物を収集ルートを、グルーヴノーツのクラウドプラットフォーム「MAGELLAN BLOCKS」（マゼランブロックス）を使って最適化した。 マゼランブロックスは専門的な知識がなくても機械学習で予測モデルを作成できるクラウドサービス。カナダD-Wave Systemsの量子アニーリングマシン「D-Wave 2000Q」を利用して「組合せ最適化問題」を解くこともできる。 AIでごみ発生量を予測 量子アニーリングで収集ルートを最適化 収集ルートの最適化では、まず各ビルに入っているテナントの種類や割
バックグラウンドで実行するバッチ処理の改善のためSidekiq Enterpriseを導入しました🥳 - メドピア開発者ブログ
こんにちは、エンジニアの森田です。 MedPeerでは、バックグラウンドで非同期に処理を実行させる方法としてSidekiqを使っておりましたが、今回Sidekiq Enterprise(Proを含む)を導入しました。 https://sidekiq.org/products/enterprise.html 今回はSidekiq Enterpriseを導入するにあたって解決したかった課題と実際の導入方法、導入後の活用事例をを紹介できればと思います！ Sidekiq Enterpriseとは? Sidekiq Enterpriseとは、その名の通りエンタープライズ向けの機能拡張が行われた有料版のSidekiqです。(Sidekiq Enterpriseとは別にSidekiq Proもありますが、Sidekiq Enterpriseを導入するとSidekiq Proの機能も使用出来るようになりま
【全方位木DP】明日使える便利な木構造のアルゴリズム - Qiita
この記事について この記事では、一部で全方位木DP、Rerooting等と呼ばれているアルゴリズムの紹介/解説と、その実装についての簡単な説明を行います。 全方位木DPなどと物騒そうな名前がついていますが、発想自体は全く難しくありません。また、実装もそこまで難しいものではないです。 前提知識として、最低限のグラフ理論の知識(特に木構造について)を要求します。(有向木の根/部分木等…) 謝辞 この記事中に挿入されている図は、殆どを @259_Momone さんに提供して頂きました。素晴らしく美しい図を提供して頂き、この記事を分かりやすいものとして頂いたことに感謝いたします。 全方位木DPとは 各点から深さ優先探索を行って解くことができる問題のうち特定の条件(後述)を満たすものについて、全頂点についての答えを同等の計算量で求めることができるアルゴリズムです。 まず、全方位木DPで解くことができ
IPA の アジャイル開発版「情報システム・モデル取引・契約書」｜木下史彦
IPA から アジャイル開発版「情報システム・モデル取引・契約書」が公開された。 【プレス発表】 DX推進に向け、アジャイル開発版の「情報システム・モデル取引・契約書」を公開 https://www.ipa.go.jp/about/press/20200331.html 【成果物公開ページ】 https://www.ipa.go.jp/ikc/reports/20200331_1.html 私はこの1年間、IPA の「社会実装推進委員会 モデル取引・契約書見直し検討部会 DX対応モデル契約見直し検討WG」の委員としてこのモデル契約書の策定に関わってきた。 モデル契約策定にあたって、私が特に実現できてよかったと思うことを書いていきたい。 準委任契約を前提とすることができた2012年にIPAから出された「非ウォーターフォール型開発に適したモデル契約書」（当時、IPAではアジャイルと言わずに非ウ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - kishikawakatsumi/SourceKitForSafari: SourceKit for Safari is a Safari extension for GitHub, that enables Xcode features like go to definition, find references, or documentation on hover.