それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn
それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
WealthNavi Engineering Blog
ウェルスナビの開発に関する記事を定期的に発信しています。 「ものづくりする金融機関」への取り組みを知っていただければ幸いです。
作業ではなく、仕事をせよ - arclamp
この記事はグロースエクスパートナーズ Advent Calendar 2022の11日目です。 （補足追記：この記事は、一緒に働いている／働くことになる若い後輩たちへのメッセージです） 毎年、メンバーからお題をもらっているのですが「一緒に仕事する相手がこうだったら教えがいがある・やりやすいなと思う言動について書いてほしい」ということなので、僕のキャリア（もうちょっとで四半世紀...）の中で学んできたことも含めて、整理してみます。 心構え：作業ではなく、仕事をせよ まず、一緒に仕事をする上でお願いしたいのは「作業ではなく、仕事をしてほしい」ということです。ここでいう仕事と作業の定義は以下の通りです。 仕事というのは「ある目的を達成するための行動」 作業というのは「ある計画や手順のもとにおこなう行動」 仕事は作業を含んでいます。目的を達成する行動全般が「仕事」であり、仕事の中で具体的な手順を実
“Tao of Node - Design, Architecture & Best Practices” 日本語翻訳
私が働いているAniqueという会社では、1年前に全てのソフトウェアでTypescriptを採用することにしました。私たちが開発している進撃の巨人のNFTサービス “Attack on Titan: Legacy” でも採用しています。 TypescriptではNestJSという素晴らしいAPIフレームワークを利用することができ、生産性高く開発を続けることができます。また、私たちはフロントエンドでNext.jsを利用しています。言語レベルでのコンテキストスイッチを抑えることで、一人のエンジニアがフロントエンドとバックエンドのどちらもの機能を開発する環境が作れました。 しかし、Nodeならではの作法や設計について、Web上にはたくさんの情報があるものの、あまりにも情報が多すぎて、まとまったプラクティスになかなか出会うことができませんでした。そのため、最初はチーム内での共通認識を作るのに苦労し
『ソフトウェアアーキテクチャの基礎 ―エンジニアリングに基づく体系的アプローチ』を読めばアーキテクトになれるのだろうか - Magnolia Tech
ソフトウェアアーキテクチャの基礎 ―エンジニアリングに基づく体系的アプローチ 作者:Mark Richards,Neal FordオライリージャパンAmazon とても良い本だ！アーキテクチャのパターンは体系的に整理されているし、アーキテクチャを議論する上で、共通の語彙となり得る用語を解説している（コンウェイの法則や、凝集度など）。 後半は、リスクや、チームビルディング、交渉術まで多岐に渡るトピックを網羅している。 必要なことは全部書いてある...けれど、なんとなく初めてPMBOKを読んだときに抱いた感想...読み始めてからすぐに「果たしてこの本に書かれている通りの考え方に沿って振る舞えばアーキテクトになれるのか？」という気持ちになりはじめたところで1章の最後の方に出てくる「ソフトウェアアーキテクチャの法則」が出てきて、「そうだよなー」という気持ちに。 ソフトウェアアーキテクチャはトレード
NFTとメタバースについて思うこと - Software Transactional Memo
TL;DR NFT投機界隈のデタラメに気をつけましょう ブロックチェーンはデータに価値をもたらすのか もたらさない。 NFT界隈がよく言う「希少性」自体には何の価値もない、部屋の隅に落ちている埃だって厳密には世界に全く同じ物は存在しないしデジタルデータのように完璧かつ無制限に複製することもできない、それでも価値はない。 ブロックチェーンのwalletを作成したら既にそのwalletは自分の唯一無二な所有物となるが作成時点でwallet自体の価値は空である。希少や有限であること自体を根拠に出資を迫ってきたらそれは詐欺である。 希少or有限な物にお金を払うモチベーションがあるとするならばそれは実需を除くとそういう信仰があるからに他ならない。伏見稲荷大社に21万円払えば5号の鳥居が奉納できるがやってる事はそれと変わらない。伏見稲荷大社に置ける鳥居の数は当然有限だが、有限であることだけを理由に奉納
未知の世界に飛び込め
大阪市立南高校という高校が今年度でなくなる。他の二つの市立高と統合されて別の高校になるのである。独特の教育をしていた高校... 世界は変わっているぞ、日本ヤバイぞ、君たちの肩に掛かっているぞ、頑張れ、という話。言っている事に異論はないが、これを高校生に言って刺さるのかな、と思った。日本の未来なんて大きすぎて若者には遠すぎやしないか。そういうのが自分の肩に乗っていると錯覚できるようになるのは中年になってからじゃないのかな、と思った。 先日、大学生になった友人のご子息の相談に乗って話をする機会があった。インド系アメリカ人で、地元の進学校として割と名前の通った高校に行き、遠くの大学に進んだ。父である僕の友人の影響もあってか、Minecraftのモッド作りに精を出して子供向けプログラミング活動の運営に関わっていた事もあるし、Kubernetesを触った事もあるらしいし、高校生の時はRobotics
Effective Error Handling in Golang
This article explores Go error handling. Earthly is popular with Go developers for ensuring reproducible builds. Check it out. Error handling in Go is a little different than other mainstream programming languages like Java, JavaScript, or Python. Go’s built-in errors don’t contain stack traces, nor do they support conventional try/catch methods to handle them. Instead, errors in Go are just value
「Virtual Insanity歌謡」についてまとめてみた - BIBOUROKU
「Virtual Insanity歌謡」が気になっている。 先日放送されたジェーン・スー さんのラジオ番組「生活は踊る」を聞いていて、高橋芳朗さんの「Virtual Insanity特集」がすごく面白かった。 ここで言われていた「Virtual Insanity歌謡」については僕も思うところがあったので、ちょっとまとめてみたいと思う。 番組はまだradikoのタイムフリーで聞けると思うので、ぜひ。 radiko.jp 一応、文字起こしはこちら。 toriizaka46.jp そもそも、「Virtual Insanity」とはなんぞや、という方はこの曲を聞いてもらいたい。 youtu.be Jamiroquaiの代表曲。アシッドジャズというジャンルの名曲である。 PVも有名である。 数多くのアーティストがカバーしている。ラジオでは三浦大知、平井堅によるカバーが取り上げられていたが、プロのみな
『失敗の責任は私にあります』と言えない責任者たちの話。
昔、あるメーカーで経営企画職を担当していた時のことだ。 営業部の部長から、 「ウチの商品が絶対に安心で安全という証明書って発行できませんかね・・・」 と相談を受けたことがある。 聞けば、大口顧客との取引が受注寸前で、最後にそのような証明書を出せれば契約してもいいと言われているようだ。 しかし仕様書や保証書ならともかく、絶対に安心安全な証明書などどうしろというのか。 安心安全に使えるガスボンベだって火の中に放り込んだら爆発するし、腹痛を治してくれる胃薬でも用法・用量を守らなければ命に関わる。 どういうものを書いてよいのかわからず、先方ともう少し要件を詰めて欲しいと押し返すと、 「絶対安心安全の証明が要件なんですよ・・・」 と埒が明かない。 やむを得ず、一度部長に同行し先方の会社を訪れ、どのような証明を求めているのかをヒアリングすることにした。 応対に出てくれたのは、若い現場主任だ。 熱気と熱
note版 突然画力が伸びだした時、僕が発見した事｜安倍吉俊
これは、僕のYouTube動画の台本です。台本、というと、これを朗読しているみたいですが、これをこのまま読み上げているわけではなく、話す内容を整理したり、それを頭に入れるために、まずこのくらい書かないといけないので、コツコツと文字を打って、何度も読み返して、それから話すようにしています。 普段はもう少しメモ書きに近いのですが、今回はしっかり書いたので、noteに置いてみます。 動画はこちらです。あっ、台本の時とタイトル違う……。 これは、僕の予備校時代のある気づきに関する話です。漫画やイラストではなく、鉛筆の石膏デッサンの話ですが、イラストでもこの考え方はそのまま使えます。 絵は基本的には手を動かさないと上手くなりません。でも、ただ枚数をこなしても、上手くなるとは限りません。予備校時代、何年も浪人していて、でもあるレベルで止まってしまう人もいたし、現役生でスイスイと上達していく人もいました
アーキテクトを目指すエンジニアの最短ルート - エス・エム・エス エンジニア テックブログ
介護や医療、ヘルスケア、シニアライフなどの4つの領域で高齢社会の情報インフラを構築している株式会社エス・エム・エスで、技術責任者をしている @sunaot です。2015年2月に入社して以来、技術責任者として開発組織の構築や開発基盤の整備をリードしてきました。 今まで私がソフトウェアエンジニア（以下、エンジニア）の採用面談を延べ800件ほど担当してきた経験を振り返ると、ソフトウェアアーキテクト（以下、アーキテクト）をキャリアのゴールに据えているエンジニアも多いようです。ただ、アーキテクトを目指している一方で、実際にアーキテクトになるためには、どういった会社組織でどのような経験をしたらいいのか分からないというケースも見受けられました。 今回は、アーキテクトを目指したいエンジニアの方向けに、アーキテクトになるために必要な4つの経験や、それが経験できる会社組織について紹介します。 アーキテクトと
銀行の基幹系システムはなぜ複雑なのか？｜つっちーさん
おはよう人類。 インフラストラクチャーという言葉は、元々ラテン語に語源があり、inferus(下部の)という言葉とstructura(構造体)という二つの言葉を合成した言葉で、言葉の意味としても、社会構造の中で上部構造である政治基盤に対応する経済基盤としての使い方(主にマルクス経済学で用いられる)と、道路や橋だけででなく教育機関など公共性の高い社会基盤の意味で用いられる。特に、後者の意味が強いのだが、インフラストラクチャーの供給源というのは国や公共的な組織だけにとどまらず、電力会社や鉄道会社、金融機関のように私有なのだが、その性質上インフラストラクチャーとして扱われるものも多い。 こういった企業を(広い意味で)インフラ業と呼ぶことも多いのだが、その公共性の高さから私有にもかかわらず、その運営には様々な規制が加えられていることが多い。設立に免許や認可が必要で、運営に関しても一般の企業とは異な
銀行の基幹系システムはなぜ古臭いのか？｜つっちーさん
タイトル詐欺である。今回も反省せずに続きといきたい。 前回も示したが、ざっくりとした銀行の基幹系システムは「勘定系」「情報系」「チャネル系」の三つの構成になっているという図が上である。ざっくりとしたものなので、実際にはもっと複雑(特にメガバンクでは)だし、これがあるのにアレがない、とかいったものはある。細かいところを気にしすぎると禿げるぞ。 今回は、銀行の基幹系がなぜ古臭いのかという話をしたい。古臭いと言ってもいろいろあって、特にエンジニア界隈からは「メインフレームを使ってる」とか「COBOLみたいなカビの生えた古代言語を使ってる」とか、とにかくイケてないシステムの代表例のように言われることが多い。対して、預金者の側からはネットとの親和性だとかサービス面の不満からくるイケてないという話が多いと思うのだが、これはどちらかというとシステムの話ではなくて、サービス設計とかその背景になるビジネスモ
私は一ヶ月後、この牛を殺します。〜私がヴィーガンにならないと決めるまで〜 – ロカフレ
「あなたは動物が好きですか？じゃあ、どうしてその動物を殺して食べることができるのですか？」 最初に伝えておこう。 この記事は、とんでもなく長い。 私が書いた作品の中で比較しても、本の次に長い。 それはこの問題を取り上げるにあたり、一ヶ月以上にわたる密着取材を行なったのち、当事者と専門家にもインタビューを行い、それらを全て、ひとつの記事につめこんだからである。 (雨の日の取材) 興味のない部分は、飛ばしてもらっても構わない。 だけど私は、人間が多くの命を犠牲にしているとういう事実がある限り、どんなに面倒臭くても知るべきだという思いでこれを取り上げた。 ちょっと時間がかかるかもしれないけれど、もしもあなたが「肉」を食べたことがあるのなら、どうか最後まで読んで欲しい。 ーーー まずは問いかけたい。 あなたは動物が、好きですか？ この質問を通してみなさんの頭に浮かんでくるのは、きっと一般的に「愛玩
CTOとエンジニアリングマネージャーでDelegation Boardを作ってみた - Akatsuki Hackers Lab | 株式会社アカツキ（Akatsuki Inc.)
こんにちは、ゆのん(id:yunon_phys)です。先日、第二回エンジニアリングマネージャー勉強会にて、タイトルの内容についてLTをしてきました。結構多くの方に興味を持っていただいた内容で、折角なので文章にしてみました。 Management 3.0 Management 3.0によると、内発的モチベーション(同僚による感謝や、自分の能力がしっかり活かせている感)こそが生産性を上げるものだと主張しています。逆に、外発的モチベーションでは生産性が落ちると言われていて、いわゆる、ボーナスや評価などはマイナスにはたらくと言われています。 アカツキでは、誕生日メッセージやサンクスカード、1on1における対話、朝のGood&Newなど、既に内発的モチベーションを高める施策を実施していますが、もっと幸せに働ける職場に出来ないか、というのを常にメンバー自らが探し求めています。そういうわけで、Manag
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Beautiful Mess 2020
TBM 4/52: Think Big, Work Small (Part 2)
TBM 46/53: Think Big, Work Small
工学系研究者のための 心理学的研究手法ガイド： 研究計画から実施，成果公表まで
