Connect data from apps, workflows, and tools to create a source of truth
![The platform to build next‒gen apps | Airtable](https://cdn-ak-scissors.b.st-hatena.com/image/square/c2c4e8a5e3fd071ab941211cfb66629c5bf61885/height=288;version=1;width=512/https%3A%2F%2Fwww.airtable.com%2Fimages%2Fairtable-seo.jpg)
千代田工科芸術専門学校音響芸術科卒業。大手電機メーカーへ派遣技術者として就業後、デジタル機器ベンチャー企業の開発製造責任者として、主に台湾・中国に駐在し各種デジタル機器の開発・生産に従事。2007年にエグゼモード株式会社を創業し、代表取締役に就任。2011年に中国でJENESIS 香港・深圳法人を創業、さらに2012年に日本法人である株式会社ジェネシスホールディングスを創業。著書に『「ハードウェアのシリコンバレー深訓」に学ぶ—これからの製造のトレンドとエコシステム』がある。 深圳はゼロをイチにする場所ではない ―最近、日本で深圳が注目を集めています。 日本のメディアは、中国の成長を見ないふりしてきたでしょう。昔って、中国が崩壊するような話は書けても、中国すごいぞって話は書けなかったようですね。でも、ここ一年くらいでしょうか。シリコンバレー系のテックメディアが深圳のスタートアップをほめ始めた
AWSにおける形式手法の記事(https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf)を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く