BuriKaigi 2024 https://burikaigi.dev/ X https://twitter.com/__sakito__
Object-Oriented Conference 2024で発表した資料です。 https://fortee.jp/oocon-2024/proposal/b31c9818-3cb8-4350-adfe-cbc839cdf829 ビジネスの専門知識(ドメイン)を中心に据えたドメイン駆動設計に代数的データ型などの関数型のパラダイムを加えたよりタイプセーフな関数型DDDを紹介します。 本セッションではドメインモデリングによって発見したモデルやビジネスロジックをソフトウェアに反映する際により型を重視した設計を加えます。 型で表現する範囲が広がることでビジネスロジックをより明確にコードで表現できるようになります。 さらには型で表現されているためコンパイルフェーズで気付けるミスが増え、ソフトウェアの品質向上にもつながります。 関数型の考えをいれるといってもただ単にHaskellなどに代表される関
J.Koizumi (sub) @J_Koizumi_233 今日公開されたこちらの論文について解説します。中澤俊彦さんと神尾悠陽さんとの共著で、平方剰余とドミノタイリングを結びつける公式を発見したという内容です。 arxiv.org/abs/2311.13597 2023-11-23 17:30:40 J.Koizumi (sub) @J_Koizumi_233 平方剰余は古くから研究されている整数論の概念です。素数pおよびpの倍数でない整数aに対し、x^2=a (mod p)が解を持つとき(a/p)=1、そうでないとき(a/p)=-1と定め、これを平方剰余記号(Legendre記号)と呼びます。aがpの倍数の時は(a/p)=0と定めます。 2023-11-23 17:30:41 J.Koizumi (sub) @J_Koizumi_233 このとき奇素数p,qに対して(q/p)は(p/
Today we’re excited to announce the release of TypeScript 5.0! This release brings many new features, while aiming to make TypeScript smaller, simpler, and faster. We’ve implemented the new decorators standard, added functionality to better support ESM projects in Node and bundlers, provided new ways for library authors to control generic inference, expanded our JSDoc functionality, simplified con
『テスト駆動開発』や『SQLアンチパターン』をはじめとする技術書の翻訳者、さまざまなIT企業をわたり歩く技術顧問、さらに最近ではエンジニアリング文化を伝える講演者としても活躍されている和田卓人さん(https://twitter.com/t_wada)。 そのソフトウェアエンジニアとしての素顔を株式会社一休CTOの伊藤直也さん(https://twitter.com/naoya_ito)が聞き出す対談の後編では、現在とこれからのIT業界におけるプログラミング言語のトレンド、具体的にはRustを始めとする静的型付き言語への視座から、 ソフトウェアエンジニアとして新しい技術を学び続けるうえでの態度について語り合います。 ・伊藤 直也さん / 株式会社 一休 執行役員 CTO 新卒入社したニフティ株式会社でブログサービス「ココログ」を立ち上げ、CTOを務めた株式会社はてなでは「はてなブックマーク
『テスト駆動開発』や『SQLアンチパターン』をはじめとする技術書の翻訳者、さまざまなIT企業をわたり歩く技術顧問、さらに最近ではエンジニアリング文化を伝える講演者としても活躍されている和田卓人さん(https://twitter.com/t_wada)。 そのソフトウェアエンジニアとしての素顔を株式会社一休CTOの伊藤直也さん(https://twitter.com/naoya_ito)が聞き出す対談の前編では、一線を画すエンジニアであり続けるために自らのプロジェクトで意識的にコードを書いているという和田さんの姿勢に始まり、ベテランとして「技術のらせん」を読み解くケーススタディとしてDDD(Domain-Driven Design)を題材に話を伺います。 ・伊藤 直也さん / 株式会社 一休 執行役員 CTO 新卒入社したニフティ株式会社でブログサービス「ココログ」を立ち上げ、CTOを務め
「ソースコードを書くのは単純作業」──そんな内容の記事がITエンジニアなどを中心にTwitter上などで話題になっている。記事を掲載したのは、GitHubの日本法人ギットハブ・ジャパン。ヤマト運輸のGitHub活用事例を紹介する記事の中で、ヤマト運輸のDX推進を担当する中林紀彦執行役員がこのように発言したとしていた。 話題となった記事では、ヤマト運輸のデータ・ドリブン経営について、中林執行役員などが解説。開発環境の内製化のためGitHubを採用したことや、2年で約100人のITエンジニアを採用したことなどを記載している。その中で、今後の展望としてGitHubを活用した内製化の新たな形を探りたいという旨で、中林執行役員の発言として以下の記載があった。 「これまでの内製化はアウトソーシングからの見直しが主体でした。これからは、アーキテクチャのデザインや、GitHubを活用したソースコードのガバ
ホーム ブログ 人工知能(AI)、ビッグデータ法務 Midjourney、Stable Diffusion、mimicなどの画像自動生成AIと著作権|知… はじめに Midjourney、Stable Diffusion、mimicなど、コンテンツ(画像)自動生成AIに関する話題で持ちきりですね。それぞれのサービスの内容については今更言うまでもないのですがMidjourney、Stable Diffusionは「文章(呪文)を入力するとAIが自動で画像を生成してくれる画像自動生成AI」、mimicは「特定の描き手のイラストを学習させることで、描き手の個性が反映されたイラストを自動生成できるAIを作成できるサービス」です(サービスリリース後すぐ盛大に炎上してサービス停止しちゃいましたが)。 で、この手の画像自動生成AIのようなコンテンツ自動生成AIですが、著作権法的に問題になる論点は大体決ま
先日のApple Eventでも Mac Studio や iPad Air(第5世代) が発表され、いよいよ Apple M1チップ がデファクトスタンダードになったなあと感じています。自分もこれまで、業務用PCとしてMacBook Pro 2017を使っていたのですが、悪名高いバタフライキーボードの破損をきっかけに MacBook Air(M1) を購入してもらいました。 さっそく業務で使用していくためにセットアップをしたのですが、やはりIntelチップとの違いに戸惑ったので備忘録としてまとめます。この記事は元々社内のナレッジに書く予定だったのですが、自分自身QiitaやZennの記事にかなり助けられました。この記事も今後M1 Macをセットアップする人の役に立てばと思っています。 MacOSの基本的な設定を使いやすく変更する 購入したばかりのMacはDockに大量のアプリが登録されて
この記事はRust Advent Calendar 2021の12/8日の記事です。 Rust前提の記事として書きましたが、他の言語にも適用できる考え方なので、ほかの言語勢の方々もよければお付き合い下さい。 今回のテーマは「Rustで真に安全なプログラムを書く方法」についてです。 「真に安全なプログラム」の定義は以下とします。 挙動が安定し、結果が予測可能となる 正しさの基準に基づき、プログラムの間違いを検知することができる 「真に」とはドメイン知識に基づく正しさという意味です。詳しくは後述します。 それと「そもそもRustで実装されるプログラムは安全じゃないのか」という想定質問については「メモリの操作は安全。だが、それだけでは真に安全なプログラムにはならない」が答えになります。これについて興味がある方、ぜひ最後までお付き合いください。 「真に安全なプログラム」を実現するレシピとしては「関
追記: Kubernetes側での公式のアナウンスが2本出ているのでこちらも合わせてご覧ください。 kubernetes.io kubernetes.io Kubernetesコミュニティを眺めていたら、やたらめったら色んな人達が1.20 RCのリリースノート引っ張り出して「Dockerが非推奨になるからちゃんと対策を検討してね!!!」とアナウンスをしていて、挙げ句SIG Contributexではその対策に追われてバタバタしている自体を観測しました。 CNCF Ambassador Slackでもだいぶ燃え上がっていて、見かねて dev.to に記事を投稿したのでそれをかんたんに日本語にまとめてみようと思います。英語のほうはこちらをご覧ください。 dev.to 追記2. 影響範囲を知りたい場合はまずこちらをお読みください blog.inductor.me 追記2. 影響範囲を知りたい場合
type A = { a: string; }; type B = { b: number; x: number; }; type C = A | B; const foo: C = { a: "1", x: 2, }; CはA | Bと定義されているので、union型の意味が「または (or)」であればこれは「AまたはB」であるはずです。ここで、C型の変数fooに{ a: "1", x: 2 }というオブジェクトを代入しても、コンパイルエラーは発生しません。 一方で、このオブジェクトをAやBに代入しようとするとコンパイルエラーとなります。 // エラー: Type '{ a: string; x: number; }' is not assignable to type 'A'. // Object literal may only specify known properties, a
完全ワイヤレスイヤホンメーカー5社に聞く「ライバル製品どうですか?」:ガジェットメーカーさんいらっしゃい!2019.08.16 18:00158,543 武者良太 それぞれのメーカーのこだわりポイントがまるはだか! カメラメーカー4社が揃い踏みで、自社製品のいいところアピール&他社製品の気になるところをツッコミまくりだった前回の「ガジェットメーカーさんいらっしゃい!」に続いて、今度は完全ワイヤレスイヤホンメーカーの皆さんに集まっていただきましたよ! オーディオ機器ってトラディショナルスタイル一筋なモノが多いんですけど、完全ワイヤレスイヤホンに関しては話がまるっきり別モノ。ちっこい筐体内に数多のテクノロジーがてんこ盛りなんです。 だからこそ気になるってモンでしょ。僕たちも。意欲作を目の当たりにした他社メーカーのみなさまも。 ということではじまります。いざ! 集まっていただいたのはバング&オル
2019年5月頭、Undefined の僕を除く全てのメンバーが会社を去ることになった。それは、創業メンバーの健嗣、かにちゃん、そして唯一のフルタイムエンジニアであった平川の三人だ。事実上、Undefined のチームは解散することになった。僕はこのことを今でも強く覚えているし、きっとこれからの人生においても大きな出来事になるのだと思う。果たしてそれを上手に文章に書き起こすことができるか解らないが、完璧な文章など存在しないから、僕は筆を取る。 NYAGO をリリースしたのは、2018年の3月末だ。沸くTwitter、止まらないダウンロード、僕たちは文字通り浮かれていた。自分たちのつくったサービスが評価され、知人や友人を始め、全く知らない人まで NYAGO を使っていた。世界が色鮮やかに見えて、張り切って早朝に出社して深夜まで残った。それでも様々な事情があって、 NYAGO は一週間でクロー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く