はてなブックマーク

TOPコラムテック最前線レポート【前編】関数型×DDDの設計と実装は、どう進めるべきか。書籍「関数型ドメインモデリング」翻訳者が語る【Open Developers Conference 2024 レポート】 【前編】関数型×DDDの設計と実装は、どう進めるべきか。書籍「関数型ドメインモデリング」翻訳者が語る【Open Developers Conference 2024 レポート】 2024年11月18日 書籍「関数型ドメインモデリング」翻訳者 猪股 健太郎 システムエンジニア、ソフトウェア開発者。BIPROGY株式会社勤務。各種業務システムに関する開発支援や開発標準策定等に従事後、数年間の米国駐在を経て帰国。近年はアジャイルソフトウェア開発を含む開発スタイル変革に携わる。『速攻入門 C#プログラミング すぐに現場で使える知識』（技術評論社、共著）、『プログラミングXamarin　上・下

TOPインタビュー生成AIは私たちの「つくる」をいかに変えるのか——AIを活用する小説家・葦沢かもめが考える、「創造」の未来 フリーランスエンジニア／小説家 葦沢かもめ 東北大学にて生物学を学び、京都大学大学院へ進学。博士（医科学）。大学院卒業後は、SIerを経てAI系ベンチャーでエンジニアとして勤務。現在はフリーランスのエンジニアとして受託開発を手掛けながら、AIを活用した小説の執筆活動を展開。『あなたはそこにいますか？』で第9回日経「星新一賞」優秀賞（図書カード賞）。本作は、AIを利用して執筆した小説として史上初めて入選。その他、かぐやSF第1回最終候補、第2回選外佳作など。2024年10月には、生成AIの小説への活用法を解説する書籍『小説を書く人のAI活用術 AIとの対話で物語のアイデアが広がる』が刊行された。 ゲームや小説、あるいはWebサービスなど、さまざまな創作物の源泉は人間が

米コロラド大学ボルダー校などに所属する研究者らが発表した論文「Quantum permutation puzzles with indistinguishable particles」は、量子力学の性質を取り入れた新しいタイプのパズルについての理論研究である。 ▲（a）ルービックキューブ（b）スライドパズル（c）量子パズル 研究チームは、古典的なパズルの色付きピースを量子粒子に置き換えた「量子版パズル」を考案した。同じ色のピースは、区別できない同一の量子粒子として扱われる。研究では主に2×2の量子スライドパズルに焦点を当て、2×2×1の量子ルービックキューブについても検討している。 量子版の最大の特徴は、従来のパズルの「交換」という操作に加えて、量子力学に基づく「重ね合わせ」操作（square root of SWAP）が可能なことである。これは、2つの粒子が、「場所を交換する」と「元の位

フロントエンドテストはやっぱり大事！人気のテストフレームワークとともに種類別に解説 2024年11月11日 執筆 山内 直 有限会社 WINGSプロジェクトが運営する、テクニカル執筆コミュニティ（代表 山田祥寛）に所属するテクニカルライター。出版社を経てフリーランスとして独立。ライター、エディター、デベロッパー、講師業に従事。屋号は「たまデジ。」。著書に『Bootstrap 5 フロントエンド開発の教科書』、『作って学べるHTML＋JavaScriptの基本』など。 監修 山田 祥寛 静岡県榛原町生まれ。一橋大学経済学部卒業後、NECにてシステム企画業務に携わるが、2003年4月に念願かなってフリーライターに転身。Microsoft MVP for Visual Studio and Development Technologies。執筆コミュニティ「WINGSプロジェクト」代表。 主な著

ITジャーナリスト 牧野 武文（まきの たけふみ） 生活とテクノロジー、ビジネスの関係を考えるITジャーナリスト、中国テックウォッチャー。著書に「Googleの正体」（マイコミ新書）、「任天堂ノスタルジー・横井軍平とその時代」（角川新書）など。 中国では、自動運転機能を備えた乗用車が市販され、無人運転のロボタクシーが営業運転をするようになっている。その最先端で起きたのが「人間とAIの協調」という問題だ。人間とAIの認識の狭間で、自動運転車が原因となる事故や渋滞が相次いでいる。人間はAIとうまくコミュニケーションをとり、共存をしていくことは可能なのか。AI本格導入で見えてきた課題とは。 keyboard_arrow_down 都市部で普及する自動運転車 keyboard_arrow_down 自動運転の日常化で見えた人間本能とAIの衝突 keyboard_arrow_down 完全無人運転の

行動の選択肢を広げる。Kotlinエバンジェリスト・長澤太郎氏が選ぶ、キャリアを切り開いた書籍4選 2024年11月6日 Kotlinエバンジェリスト 長澤 太郎 Ubie株式会社のソフトウェアエンジニア。「テクノロジーで人々を適切な医療に案内する」をミッションに、日々開発に勤しむ。 本業のかたわら、自称Kotlinエバンジェリストとして、講演や執筆などを通じて啓蒙活動に尽力。国内最大のKotlin技術カンファレンス「Kotlin Fest」の代表を務める。 X: @ngsw_taro こんにちは！Kotlin Festのオーガナイザーを務めている長澤太郎と申します。 前回は「Kotlinエバンジェリスト・長澤太郎氏が薦める、Kotlinへの理解を深める3冊」というテーマで、Kotlinをより深く理解し、楽しむための技術書を取り上げました。今回は、私のキャリア観や仕事観に大きな影響を与えた

TOPインタビューアジャイルの基本「動くものを速く届ける」を愚直に守る。それを実現するための開発プロセスの工夫とは【UPSIDER VPoP 森大祐】 アジャイルの基本「動くものを速く届ける」を愚直に守る。それを実現するための開発プロセスの工夫とは【UPSIDER VPoP 森大祐】 2024年11月6日 株式会社UPSIDER VPoP 森 大祐 株式会社UPSIDER VPoP。新卒で株式会社ワークスアプリケーションズに入社後、会計システムを中心として、大手企業のERP、業務システムの開発をリード。いくつかのキャリアを経て、PKSHAグループにて複数のAI SaaSを立ち上げ、それらのプロダクト企画統括を務める。2023年に入社した株式会社UPSIDERではVPoPを務める。 X Notion 法人向けクレジットカード「UPSIDER」をはじめとする金融サービスを提供する、株式会社UP

「無限の猿定理」とは、無限の時間があれば、キーボードをランダムに叩く猿が、シェイクスピアの全作品など、どんな文章でも偶然に打ち出せるという思考実験をいう。有限の長さのテキストにおいて、ランダムな入力でも、無限の時間があれば目的のテキストが必ず出現するという数学的な確率の考え方である。 研究チームは、この「無限の猿の定理」を現実的な条件下（有限の時間と有限の個体数の猿で確率計算）で検証することにした。 現在地球上に生息する約20万頭のチンパンジーを対象に、英語のアルファベットと一般的な句読点を含む30個のキーを持つキーボードを使用すると仮定し、各個体が1秒間に1文字をタイプするという条件で計算を行った。また、宇宙の寿命を10^100年と想定し、数学的分析を実施した。 研究結果は、次のようになった。 例えば、チンパンジーが「Bananas」という簡単な単語を偶然に書き上げるには、約2.2×10

1. 『達人に学ぶDB設計徹底指南書 第2版』ミック 著 2. 『理論から学ぶデータベース実践入門―― リレーショナルモデルによる効率的なSQL』奥野幹也 著 3. 『Web API設計実践入門――API仕様ファーストによるテスト駆動開発』柴田芳樹 著 4. 『データモデリングでドメインを駆動する――分散／疎結合な基幹系システムに向けて』杉本啓 著 こんにちは、Java Championの谷本心 (@cero_t) です。これまでの2回の書籍紹介では主に今の私の技術力を培ってきた書籍を紹介したため、古いものや絶版になったものなども多く含まれていました。それに対して今回紹介するアーキテクチャ関連の書籍は、現在でも入手可能なもの、あるいは最近出版されたものとなっています。 アプリケーションアーキテクチャやシステムアーキテクチャは、本質的に変わらない部分もあれば時代とともにトレンドが変わる部分も

Preferred Networksをやめ“フリーランス”を選んだ、ある研究者の独白【フォーカス】 2024年10月30日 フリーランス研究者 齋藤 真樹 博士（情報科学）。2016年東北大学大学院情報科学研究科博士課程修了。同年、株式会社Preferred Networksにリサーチャーとして入社。専門研究分野はコンピュータビジョン。製造業・自動車・建築・金融など幅広い産業分野に関する機械学習の研究開発に携わる。2024年8月に独立し、フリーランスの研究者に。趣味は登山。 X 個人サイト 日本有数のAIスタートアップ・Preferred Networks社（以下PFN）を退職し、フリーランス研究者の道を歩み始めた人がいます。機械学習研究者の齋藤真樹（Masaki Saito）さんです。 コンピュータビジョン（以下CV）領域におけるトップカンファレンス「CVPR」では、齋藤さんが筆頭著者を

「その改善、意味あるの？」に大きな価値がある。Webフロントエンド版DX Criteriaの生かし方 2024年10月29日 株式会社ニジボックス　デベロップメント室室長 古川陽介 複合機メーカー、ゲーム会社を経て、2016年に株式会社リクルートテクノロジーズ（現リクルート）入社。現在はAPソリューショングループのマネジャーとしてアプリ基盤の改善や運用、各種開発支援ツールの開発、テックリードとしてエンジニアチームの支援や育成までを担う。2019年より株式会社ニジボックスを兼務し、グループマネジャーとしてエンジニア育成基盤の設計、技術指南も遂行。JSConf.jp のオーガナイザーも務める。また、Node.js 日本ユーザーグループの代表を務め、Node学園祭などを主宰。 X Blog 2024年2月、日本CTO協会は、フロントエンド開発に携わるチームのためのアセスメントツール「Webフロン

株式会社MonotaRO CTO 普川 泰如 慶應義塾大学環境情報学部卒業。SIer企業を経て2009年にオイシックス・ラ・大地に入社し、2016年にシステム副本部長に就任。2019年にモノタロウに参画。2021年1月にECシステムエンジニアリング部門長、2022年4月に執行役CTO/VPoEに就任。 X 多くの企業で、10年以上前に開発されたシステムが、事業拡大に伴い続々と限界を迎え、リアーキテクチャに取り組み始めています。 間接資材のネット販売ビジネスを展開するモノタロウ社もその1つです。約20年前の創業期から内製で開発してきたモノリシックなシステムは、事業成長とともに度重なる機能追加を経て、2015年頃にはコードの変更すら容易にできない状態に。一度はパッケージシステムの導入も試みますが、2022年頃から、再度内製開発による抜本的なリアーキテクチャに取り組んでいます。 今回のリアーキテ

英オックスフォード大学のBen Green氏と米コロンビア大学のMehtaab Sawhney氏が発表した論文「Primes of the form p² + nq²」は、特定の条件を満たす素数の組み合わせが無限に存在することを証明した研究報告である。 ▲論文のトップページ keyboard_arrow_down 研究背景 keyboard_arrow_down 研究内容 素数は、1と自身以外では割り切れない数であり、整数の数学的な構成要素である。数学者たちは何百年もの間、素数の性質や組み合わせについて探求してきた。 素数に関連した最も有名な問題のひとつに、1640年に数学者Pierre de Fermatによって提案された命題「フェルマーの最終定理」がある。長い年月を経て、1995年に当時米プリンストン大学にいたAndrew Wiles氏が、フェルマーの最終定理の証明を発表した。この証明

Rust.Tokyoオーガナイザーの豊田優貴に聞く、思考の土台をつくった「お守り本」5冊 2024年10月24日 Rust.Tokyo オーガナイザー 豊田 優貴 Sansan株式会社のソフトウェアエンジニア。金融機関向けのリスク管理計算機の開発に携わってから、しばらく広告配信の仕事に従事した。前職のUSの企業では実務でRustを利用した。本業のかたわら、Rustの国内カンファレンス「Rust.Tokyo」の運営や、いくつかのOSSの開発や貢献を行っている。共著で『実践Rustプログラミング入門』（秀和システム）、『RustによるWebアプリケーション開発』（講談社サイエンティフィク）など。また、『Web開発で学ぶ最新言語Rust』（日経クロステック）の連載を持つなどした。 ※アイキャッチとプロフィールに使用しているアイコンは「めぶイカメーカー」を使用し生成しております GitHub: h

Webアプリ開発未経験の競プロ上級者が続々活躍。estieに聞くオンボーディングのコツ 2024年10月23日 株式会社estie　取締役CTO 岩成 達哉 松江工業高等専門学校在籍中に全国高専プログラミングコンテスト課題部門最優秀賞、文部科学大臣賞、情報処理学会若手奨励賞を受賞。東京大学工学部に編入後、高専の卒業研究をもとにプログラミング教育アプリを開発し、起業。大学院修了後は、Indeed Japan株式会社に入社し、データパイプライン開発等に従事。2020年10月にestieへVP of Productsとして参画し、2021年8月にCTOへ就任。 X 株式会社estie　Software Engineer riano_ 京都大学大学院で理論物理を研究。新卒でハウスメーカーに入社し、営業職に約2年従事。終盤4カ月で競技プログラミングを始め、それを機に、AI系のスタートアップへ転職。機

物理学に隠された普遍性？　大量の方程式を分析、数式記号の出現頻度に“奇妙なパターン”発見【研究紹介】 2024年10月23日 英オックスフォード大学などに所属する研究者らが発表した論文「Statistical Patterns in the Equations of Physics and the Emergence of a Meta-Law of Nature」は、物理学の方程式に使われている演算子の出現パターンを詳しく調査した研究報告である。 この研究は、物理学の方程式に現れる演算子の統計的パターンを分析し、自然言語で見られる「ジップの法則」のような規則性が物理法則にも存在するかを調査したものである。 keyboard_arrow_down 研究内容 keyboard_arrow_down 研究結果 ジップの法則とは、言語において最も使用頻度の高い単語は2番目に使用頻度の高い単語の2

HDDが滅びず“SSDと共存”に落ち着いた理由。SSD一強を阻む「コスパの壁」【フォーカス】 2024年10月22日 東北大学国際連携部特任教授 (名誉教授) 田中 陽一郎 工学者。1983年東北大学大学院工学研究科博士前期課程修了、2006年同博士後期課程修了。博士（工学）。1983年から2016年まで、東芝グループにて、HDDからフラッシュメモリを使ったSSDなど高密度ストレージ技術の研究開発や実用化に携わる。2005年には、垂直磁気記録方式を採用したHDDの世界初の製品化を主導した。山形大学大学院理工学研究科や東北大学電気通信研究所教授を経て2024年4月より現職。IEEEフェロー。好きなものはスキーと登山と芋煮会。 プロフィール（東北大学公式サイト内） researchmap 1956年に初めて登場したハードディスクドライブ（以下HDD）と、1991年に初めて登場したソリッドステー

中国アジアITライター 山谷 剛史 1976年生まれ、東京都出身。2002年より中国やアジア地域のITトレンドについて執筆。中国IT業界記事、中国流行記事、中国製品レビュー記事を主に執筆。著書に『中国のITは新型コロナウイルスにどのように反撃したのか？』（星海社新書）『中国のインターネット史 ワールドワイドウェブからの独立』（星海社新書）『新しい中国人 ネットで団結する若者たち』（ソフトバンククリエイティブ）など。 中国には2700万人の聴覚障がい者がいると報じられている。近年のネットテクノロジーのおかげで動画には字幕がつき、端末に文字を入力すれば音声で出力できるようになるなど、大きく環境は改善した。この記事では、さらにテクノロジーで聴覚障がい者が意思を伝達できるようにするための各社の取り組みを紹介したい。 keyboard_arrow_down 標準手話の学びにくさが意思疎通の壁に ke

アトラトルと呼ばれる槍投げ用の道具は、人間が長距離にわたって投射物を発射することを可能にする。先端に投射物を保持するための溝がある手持ちの棒であり、人間の腕が達成できる投射物を投げる勢いを増幅する、テコのような役割を果たす。 しかし、中期旧石器時代にヨーロッパやレバント地方に生息していたネアンデルタール人は、明らかにこれを使用しなかった。 「重力」がもたらす、予期せぬ負の影響が、ネアンデルタール人や一部のホモ・サピエンス集団によってアトラトルが採用されなかった理由を説明できるかもしれない。 研究者たちは、当初、アトラトルで発射された投射物と、手で投げられた槍の両方が、より高い位置から下向きに投げられた場合、重力によって速度が増すと仮定していた。これは、先史時代の狩猟者が崖や木の上などから、下にいる獲物に向かって投射物を発射した可能性を想定したものである。 しかし研究によると、実際には、槍の

主要バンドラーの仕様を徹底比較。Import Maps、Viteなど「脱バンドラー」の動きも 2024年10月15日 執筆 山内 直 有限会社 WINGSプロジェクトが運営する、テクニカル執筆コミュニティ（代表 山田祥寛）に所属するテクニカルライター。出版社を経てフリーランスとして独立。ライター、エディター、デベロッパー、講師業に従事。屋号は「たまデジ。」。著書に『Bootstrap 5 フロントエンド開発の教科書』、『作って学べるHTML＋JavaScriptの基本』など。 監修 山田 祥寛 静岡県榛原町生まれ。一橋大学経済学部卒業後、NECにてシステム企画業務に携わるが、2003年4月に念願かなってフリーライターに転身。Microsoft MVP for Visual Studio and Development Technologies。執筆コミュニティ「WINGSプロジェクト」代表

テクノロジーで見えない景色が見えるように！アリババ・ファーウェイ・復旦大学が行うソリューションとは 2024年10月7日 中国アジアITライター 山谷 剛史 1976年生まれ、東京都出身。2002年より中国やアジア地域のITトレンドについて執筆。中国IT業界記事、中国流行記事、中国製品レビュー記事を主に執筆。著書に『中国のITは新型コロナウイルスにどのように反撃したのか？』（星海社新書）『中国のインターネット史 ワールドワイドウェブからの独立』（星海社新書）『新しい中国人 ネットで団結する若者たち』（ソフトバンククリエイティブ）など。 中国政府は2023年に「バリアフリー環境建設法」を制定し、ハード、ソフトともに高齢者や障がい者に役立つ製品サービスを開発するよう後押しをしている。これは、それまでおざなりだった障がい者への対策だけでなく、社会の高齢化が進み続ける昨今、目が不自由になった高齢者

エンジニアのキャリアパスとして学ぶべきことの宝庫。株式会社タイミー・山口徹氏がすすめるCPOの仕事 2024年10月3日 山口 徹 東京工業大学工学部電気電子工学科を中退後、幾つかの会社を経て、サイボウズ・ラボ株式会社にてデジタルアイデンティティとブラウザ拡張の研究開発に従事。その後、株式会社ディー・エヌ・エーでMobageをはじめとしたゲームプラットフォームの開発に携わり、ソフトウェアエンジニアやアーキテクトとして複数のプラットフォーム開発を牽引。さらにスポーツ事業本部のシステム部門を管掌し、システムアーキテクト領域で専門役員を歴任。レイターのB2B SaaS スタートアップにおける取締役CTO兼CPOを経て、2023年5月より株式会社タイミーに執行役員VPoTとして入社し、同年10月からは執行役員CPOに就任し現在に至る。 皆様はじめまして。株式会社タイミーで執行役員CPO(Chief

インドのHomi Bhabha National Instituteに所属する研究者らが発表した論文「Multicellular artificial neural network-type architectures demonstrate computational problem solving」は、遺伝子操作された大腸菌由来の細菌（バクテリア）が人工ニューラルネットワーク（ANN）型のアーキテクチャを用いて、様々な数学的問題を解決できることを実証した研究報告である。 この研究では、「バクトニューロン」と呼ばれる特殊な細菌を使用した計算方法を提案している。バクトニューロンは、遺伝子工学的に改変された細菌で、ANNにおける人工ニューロンのように機能するよう設計されている。 バクトニューロンの仕組みは、従来のコンピュータとは大きく異なる。通常のコンピュータが電圧の高低で0と1を表現するの