Translation of the Rust's core and alloc crates | Formal Land
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrap_or_default or all other primitive functions. For each of these functions, we had to make a Coq definition to represent its behavior.
〔Udemy初夏のビッグセール開催中〕エンジニア組織をまとめる技術─マネージャー歴12年のEMが語るプロジェクト・プロダクト・ピープルマネジメントに必要なスキル - はてなニュース
ソフトウェアエンジニアにとって、マネジメントの職に就くかどうかは大きな選択です。現在ではプレイヤーのままでスタッフエンジニアといった高い職位に進むキャリアもありますが、マネージャーとしてチームを率いてこそ達成できるビジネス上の成功もあるでしょう。 ひとくちにマネージャーといっても、マネジメントの対象によって要求されるスキルに幅があります。これまでUdemyの大きなセールで講座を紹介してきた当ニュースですが、今回はソフトウェア開発組織のマネジメントに必要となるスキルにフォーカスしました。 マネージャーという仕事と学びたいスキルを紹介してくれるのは、10年以上前からPM（プロジェクト・マネージャー）などに就いてチームを牽引し、現在はヘルステックベンチャーのカケハシでEM（エンジニアリング・マネージャー）を務める小田中育生（@dora_e_m）さんです。 また記事の後半では、マネジメントに関連し
100人以上の資料を読んで見つけた伝わりやすい成果報告書の書き方 - CARTA TECH BLOG
TL;DR 自身の成果をアピールするために、1)Before/After、2)自分の寄与度、3)数字的インパクトを過不足なく伝えることが重要 説明の冒頭では、課題と解法の全体感と成果を述べ、詳細は後に肉付けすると伝わりやすい 課題を伝える際は"誰から見た課題か"を明確にする。課題は解法の前提であるためブレないように はじめに 技術広報のしゅーぞーです。この記事では、過去100人分程度の成果報告書を読み、気付いた "自分の成果をわかりやすく伝える書き方"をまとめています。 仕事をしていると自身の成果を的確に伝える機会は数多くありますよね。 評価期、転職面接、昇格面談など 評価者に自分の成果をどう分かりやすく伝えるか は自分のキャリアを伸ばす上でとても大事なスキルです。 しかし、自分の頑張りや成果を上手く言語化し、相手に正しく理解してもらうのは簡単ではありません。 特に、経験の浅い若手にとって
OKRと「測りすぎ」 〜なりたい姿を、「測りすぎ」ないようにしながらどう追いかけるか〜/OKR and the tyranny of metrics
OKRと「測りすぎ」 〜なりたい姿を、「測りすぎ」ないようにしながらどう追いかけるか〜/OKR and the tyranny of metrics
解像度を上げる 🔬
2023 年 4 月にアップデートしました。 ビジネスにおいて「解像度が足りない」という言葉が使われるようになりました。この解像度という概念を、深さ、広さ、構造、時間の4つの軸で整理して、それぞれでどうやって解像度を上げれば良いのかについて解説しています。 このスライドを使ったYouTube での解説動画はこちら (2023年4月版) 東京大学 FoundX の各種リソース •FoundX Review - 起業家向けノウハウ情報 •FoundX Resource - 整理された記事の紹介 •FoundX Online School - 30以上の学習ビデオ教材 •FoundX Founders Program - 個室の無償提供とコミュニティ
個人的におすすめしたいFeature-Sliced Designというフロントエンドアーキテクチャ設計方法論
Feature-Sliced Designというフロントエンドアーキテクチャ設計方法論をプロジェクトに導入してみたところ、 個人的には良いと感じているので、どのような設計方法論なのか、具体的にどのような部分が良いと感じたかを紹介していきたいと思います。 Feature-Sliced Designとは？ Feature-Sliced Designは、フロントエンドアプリケーションを対象としたアーキテクチャ設計方法論です。公式サイトでは、「コードを整理するためのルールと規約の集大成」と記載されています。 Feature-Sliced Designの設計方法論 Feature-Sliced Designでは、プロジェクトはLayerで構成され、各LayerはSliceで構成され、各SliceはSegmentで構成されます。 Layer Feature-Sliced Designの第一階層をLay
タスク管理が苦手な人の共通点 - paiza times
＜この記事の著者＞ ばんか（bamka） - Tech Team Journal Web制作会社の会社員（Webディレクター）として働きつつ、個人でブログ／メディアライターとしても活動するパラレルワーカー。 ChatGPT等AIを公私で駆使し、ITツール・ガジェットを用いて人々の生活をより豊かにするための活用術を提供するブログも運営。 タスク管理、得意ですか？ 自慢じゃありませんが、私は苦手です。あまり好きではありません。 Webディレクターとしては、プロジェクト管理・タスク管理は必須スキルなので、一般的には「上手にやれている方」なのかもしれません。ですがいまだに苦手意識は抜けないままです。 なんで苦手なのかなぁと思い返してみると、要因はいくつか思いつきますが、中でも最も根深い問題は「気持ちに頼りすぎる」という点にあるように思います。 【目次】 やる気の高いときに設定するから長続きしない
Committees Paper
Author's note 42 years after publication: Perhaps this paper's most remarkable feature is that it made it to publication with its thesis statement in the third-last paragraph. To save you the trouble of wading through 45 paragraphs to find the thesis, I'll give an informal version of it to you now: Any organization that designs a system (defined more broadly here than just information systems) wil
【楽天市場】実戦のための経営戦略論／三品和広【1000円以上送料無料】：bookfan 2号店 楽天市場店
日本企業のケースステディ４６４ケースを収録した実戦シリーズ３部作 『高収益事業の創り方(経営戦略の実戦(1))』 『企業成長の仕込み方(経営戦略の実戦(2))』 『市場首位の目指し方(経営戦略の実戦(3))』 の著者による、現場で使える競争戦略論。 過去の名経営者の打ち手から学べることは何か。 これから経営者になる人が身につけるべき戦略眼とは何か。 実戦で使える戦略を体系的に学べる一冊。 本気で経営者を目指す方必読の「経営のバイブル」 ※本データはこの商品が発売された時点の情報です。 第１部 勝つか負けるかの戦略論（競争の理論―戦略の変数群/寡占の歴史―競争の進化圧/競争戦略論―抑止の手立て）/第２部 勝てる土俵を選ぶ戦略論（産業経済学―非対称性の源/立地の優劣―利益の稼ぎ方/立地戦略論―成長の紡ぎ方）/第３部 浮かぶ立地を知る戦略論（認知の歪み―愚挙愚行の源/情報の偏り―ニュースの罠/時
GitHub - verus-lang/verus: Verified Rust for low-level systems code
Verus is a tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will always satisfy the specifications for all possible executions of the code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct. Verus currently suppor
もう一度読むObservability Engineering - じゃあ、おうちで学べる
はじめに 本書『Observability Engineering』は、複雑化の一途をたどる現代のソフトウェアシステムに立ち向かうための、強力な武器となる一冊であり本稿はその読書感想文です。Observability Engineering を今から知りたい方はもちろん、Observability Engineering の基礎を改めて学びたい方もぜひお読みください。この記事もかなりの長さになるので普通に書籍を読んだほうがいいかもです learning.oreilly.com 「Observability:可観測性」という言葉は、近年ソフトウェアエンジニアリングの世界で大きな注目を集めています。しかし、その概念の本質を理解し、実践に移すことは容易ではありません。 本書は、そのオブザーバビリティについて、その基本的な考え方から、具体的な実装方法、そして組織への適用まで、幅広くかつ深く解説して
Building an Efficient ETL/ELT Process for Data Delivery
“Data is the new oil” — a statement that has underscored our approach to data management over the past decade. We’ve dedicated ourselves to gathering, processing, and analyzing vast volumes of data to fuel our journey towards becoming a data-driven organization. However, with the rise of ChatGPT, collecting over 1 million users in just 5 days, the landscape has shifted. This phenomenon has sparked
GitHub - kaytu-io/kaytu: The Kaytu CLI helps you save on cloud costs by finding the perfect server sizes. Kaytu analyzes historical usage and provides tailored recommendations, ensuring you only pay for the resources you need.
Ease of use: One-line command. Use without modifying workloads or making configuration changes. Base on actual Usage: Analyzes the past seven days of usage from Cloud native monitoring (CloudWatch), including advanced AWS CloudWatch metrics (where available). Customize: Optimize for region, CPU, memory, network performance, storage, licenses, and more to match your specific requirements. Secure -
Data Management Guide - 事業成長を支えるデータ基盤のDev&Ops #TechMar / 20211210
---------------------------------------------------------------------------------------- 【PR】一緒に働きましょう！ https://kazaneya.com/kdec ---------------------------------------------------------------------------------------- 「Tech × Marketing Conference 2021 #データマネジメント」基調講演の登壇資料です。 https://techxmarketing.connpass.com/event/229173/ データ活用やDXが注目されている一方で、実際にプロジェクトを進めようとすると「必要なデータが入力されていない」「用途を実現できるほどデータ品質が高
IT企業ランキング｜大手企業の年収・売上【2024年】｜キャリハイ転職
※マイナビ、リクルートなど各社のプロモーションを含みます。 ※この記事は有料職業紹介(許可番号:13-ユ-314522)の厚生労働大臣許可を受けている株式会社コレックが制作しています。 「IT企業の人気ランキングを見たい」 「IT企業へ就職するにはどうすればいい？」 IT企業への就職や転職を考えている場合、せっかくなら安定していて年収が高い優良企業へ就職したいと考える人は多いでしょう。しかし、企業ごとの違いや強みが不明確なため、就活の判断に迷ってしまいます。 そこで当記事では、有価証券報告書や財務諸表などの開示データを基にして、IT企業をランキングにまとめました。日本だけでなく、世界のIT企業や就職偏差値についても解説しています。 ちなみに、IT企業に転職するなら、複数の転職サービスを活用することが重要です。IT関連の求人に特化したレバテックキャリアや、ハイクラスの非公開求人を扱っているビ
自律的な組織づくりは、いかに失敗するのか？｜櫻本 真理
CoachEd（コーチェット）は、コーチング文化の浸透を中心として、自律的な組織を目指すチーム（経営チーム、ミドルマネジャー、現場チーム）への伴走支援プログラムを提供しています。 ここで言う自律的な組織とは、ひとりひとりがチームの共通の目的に向かって主体性を発揮し、生き生きと働いているチームを指します。 環境/技術の変化や、価値観/働き方の多様性が大きい時代に、管理型から自律的な組織に変化していく必要があることは、すでに議論し尽くされているところです。 調査によれば、自律共創型の組織に移行する必要性を感じている人事・管理職は70%にも及びます（マネジメントに対する人事担当者と管理職層の意識調査2023年より）。すでに、昔のようなトップダウンのマネジメントでは、環境の変化に対応できなくなっているのです。 1on1導入やMVV（ミッション・ビジョン・バリュー）の見直しなども含め、すでにそのため
プロジェクトがうまくいっていないときって思っているよりも透明性が不適切なことがあるって話｜kyon_mm
#普段よく話していること を文章に起こしておくの大事ですよねっていうことで、スクラムにおける透明性についてふわっとした話を書いておきます。深淵に迫るっていうよりは入門的な話です。 開発がうまくいかない場合には思っているよりも透明性が足りていなかったり、過剰だということを多々見かけていまして、その度に話しているような内容です。 前提：スクラムにおける透明性の説明でよく話されることスクラムは特にソフトウェア開発において広く採用されています。このフレームワークは、透明性、検査、適応という三つの柱に基づいて構築されていて、透明性はこの中で特に重要な要素であり、プロジェクトの各ステークホルダーが現在のプロジェクトの状態を正確に理解できるようにするために必要です。 プロジェクトの可視性を高めることで、チームメンバー全員がプロジェクトの進行状況や問題点をリアルタイムで把握できるようになり、迅速な意思決定
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【Quollio】メタデータ・マネジメント入門
GitHub - hirosassa/terraform-provider-looker: Terraform Provider for managing Looker
Amazon.co.jp: チームの生産性をあげる。――業務改善士が教える６８の具体策: 沢渡あまね: Digital Ebook Purchas
