関数型まつり2025運営チームの@lagenorhynque (a.k.a. カマイルカ🐬)です。 今回のカンファレンスイベントの公募セッションの募集開始をご案内します! 関数型まつり2025のプログラム概要 公募セッションのCFP 事前アンケートの結果発表 質問1. 普段よく使うプログラミング言語 質問2. 発表を聞きたいプログラミング言語 質問3. 発表を聞きたいテーマ 質問4. 発表テーマに対する理解度 質問5. 関数型プログラミング/関数型言語の経験年数 質問6. 「関数型まつり」への期待などご意見 まつりの準備がいよいよ始まります 関数型まつり2025のプログラム概要 公式Xアカウントでの先日の告知のとおり、「関数型まつり2025」は2025年6月14日(土)、15日(日)の2日間、中野セントラルパーク カンファレンスを会場に開催予定です。 関数型まつりの会場と開催日時が決定し
これはあくまでも個人の調査の上で、ゼロ知識証明の研究の流れを物語形式に自分なりに表現したものです。ざっくりと外観を捉えたい時にご参照ください。ご指摘も歓迎しております。 第一章：ゼロ知識証明の始まり - （1985-1992） 1985年暗号理論の世界に、Goldwasser、Micali、Rackoffという3人の研究者による、ある論文が発表されました。それは「特定の情報を知っていること」を、他の一切の情報を明らかにせず他者に数学的に証明することができる技術でした。 この論文は、完全性、健全性、ゼロ知識性という3つの重要な概念を導入し、二次剰余と二次非剰余の構成を提供し、二次剰余性を判定する問題を使って、ゼロ知識証明プロトコルを具体的に構築しました。これは、後の暗号学の発展に大きな影響を与えることになります。 1992年、この分野に新たな革新が加わります。Lund、Fortnow、Kar
工具通販大手のMonotaROはEC（電子商取引）サイト「モノタロウ」にベクトル検索を導入した。ベクトル検索とは単語や文章などの「意味」「文脈」を数値に変換することによって、検索キーワードと関連性の高いデータを見つけられる仕組み。2024年12月18日に発表した。 同社のECサイトは以前から検索機能を備えているが今回、ベクトル検索の導入により検索のヒット率を高めた。これまで入力キーワードに対して検索結果が何もヒットしないケースが平日の場合10万件ほどあったが、導入後は3万件と約7割減少。検索頻度の少ないキーワードを組み合わせた「ロングテールキーワード」の検索では購入に至る割合である「コンバージョン」が約1割増加した。他にも商品のクリック数、ユーザー1人当たりの検索数もそれぞれ約2割増加したという。 MonotaROは多品種少量の「ロングテール商品」を扱っており、取り扱う商品数は2370万点
2024年12月24日、JPドメイン名を管理運用する「株式会社日本レジストリサービス（JPRS）」が、恒例となっている2024年度版の「ドメイン名重要ニュース」を発表した。JPRSのドメインネームニュース担当者が選んだ今年の話題とは？ ■ 1. ICANN、新gTLDプログラムの申請受付開始を2026年4月に向けて計画 最初の話題は、ICANNが進めている新gTLDプログラムの話題である。 新gTLDの次回募集については、2019年11月に開催されたICANNモントリオール会合で次回募集のポリシーを策定するGNSOのSubPro WGから「2020年3月までにICANN理事会に勧告を提出し、2021年第2四半期に新gTLDの申請者向けにプログラムの内容を記述した申請者ガイドブック（AGB：Applicant Guidebook）を完成させられれば、最速で2022年4月～6月ごろから次回募集
こんにちは。決済プロダクトでQAエンジニアをしているrenです。freee QA Advent Calendar2024の23日目です。 今回は、決済プロダクト開発にテストアーキテクチャを設計した事例について紹介します。 テストアーキテクチャとは テストアーキテクチャによって解決したい課題 テストアーキテクチャ設計のステップ 1. この振る舞いを担保するためには、どのようなテストが必要だろうか？という問いを立てる 2. 抽象化して考えるための概念を学ぶ 3. テストアーキテクチャを描き、議論する テストアーキテクチャ設計のインパクト 実装改善に関する気づき テストの構造とソフトウェアの構造に関する気づき 自分たちのテスト活動の課題に関する気づき チーム開発の支援を通じた工数上のインパクト テストアーキテクチャがもたらす価値 今後の展望 [appendix]今回設計したテストアーキテクチャの
この記事はANDPAD Advent Calendar 2024の17日目の記事になります。(投稿予定の12/17前後で風邪を引いてしまい投稿が遅れてしまいました。🙇♀️) @youchanです。実は今年の8月にアンドパッドに入社していました。アンドパッドではインフラコストを削減するための施策を行なうチームに配属しています。 アンドパッドでは建設業のDXを実現するサービスを提供しています。建設の現場では多くの写真が取り扱われます。膨大な写真データはインフラコストに響くので削除できるものは削除したいところです。実際にサムネイル画像も保存されていたりして削減可能なものがたくさんあります。 私の最近のミッションはこの不要なファイルを削除するということなのですが、ファイル数が膨大なためいくつかの工夫が必要なのでそれについて記事にしたいと思います。 また本稿では、課題を通して並行・並列処理につい
この記事は「言語学な人々2024」の12/17分である。 adventar.org 「くずし字」ということばが前近代の日本学で用いられて久しい。しかし、この語がどういうものであるべきかについては、あまり明確な位置づけを持たないようだ。ここでは「くずし字」の指すものの移ろいを考えつつ、このことばを用いる意味を考えたい（これでも短くまとめてはいるが、触れるべきことの多さゆえ、長く感じるとは思う）。 また、断っておきたいが、ここで述べたことを知らなければ「くずし字」が読めないということはないし、知っても読めるようにはならない。しかし、「くずし字」という存在がどのようなものであるか語るうえでは知って損はしないことを述べたつもりである*1。 要旨 「くずし字」は本来的には近代以降の書簡の書き方として、（行）草書体を指したり、楷書の我流の省筆や行草書の混淆を指す。 近世以前の「くずし字」は、和様の漢字
「なぜ？」を5回繰り返すことで問題の根本原因を特定し、解決策や再発防止策を導き出す分析手法とされる「なぜなぜ分析」は、日本が誇る世界的大企業・トヨタ自動車の仕事術として広く知られています。しかし、ただ単に「なぜ？」と繰り返すだけでは不十分だと言うのは、かつて自身もトヨタグループに所属し、現在は経営コンサルタントとして活躍する森琢也さん。実践経験に基づく、「なぜなぜ分析」を効果的に活用するコツを教えてくれました。 構成／岩川悟 取材・文／清家茂樹 写真／石塚雅人 【プロフィール】 森琢也（もり・たくや） 1984年7月11日生まれ、東京都出身。株式会社クック・ビジネスラボ代表取締役。中小企業診断士。2007年に明治大学商学部卒後、トヨタグループの大手自動車部品会社（デンソー）に入社。配属された経営企画部署では、製造現場でのトヨタ生産方式の浸透、グループ会社支援など、数千億円ビジネスの全体像を
以下の講演資料です。 https://axies.secretari.jp/conf2024/program/organizations#_11AM2A
誰かの投稿にコメントしたけど、散逸するのももったいないので記事にした。 TL;DR; JavaScript の Promise は モナド則を満たさないのでモナドではない だから何？ Promise がモナドではなくても、別に困らない 関数型プログラミング指向の人で、モナドの恩恵を受けるような操作（例: 関数の lift ）が必要な場合、サードパーティ製の非同期モナドを使わないといけない(例: Folktale) モナド則を JavaScript で モナド則を Haskell wiki から抜粋 Left identity: return a >>= f ≡ f a Right identity: m >>= return ≡ m Associativity: (m >>= f) >>= g ≡ m >>= (\x -> f x >>= g) JavaScript 用に書き直す。retu
Promises In Lwt, a promise is a write-once reference: a value that is permitted to mutate at most once. When created, it is like an empty box that contains nothing. We say that the promise is pending. Eventually the promise can be resolved, which is like putting something inside the box. Instead of being resolved, the promise can instead be rejected, in which case the box is filled with an excepti
CloudNative Days Winter 2024で登壇した資料です
こんにちは、バックエンドのリードエンジニア兼バックエンド基盤チームのマネージャーの夏（なつ）と申します。バックエンド基盤チームは、バックエンドエンジニアの生産性向上やコスト削減を目的に、エンジニア主導で課題を発見・解決している部署です。 今回は基盤チームが行った、Google CloudのIdentity-Aware Proxy（IAP）を利用したローカル環境での開発体験の向上について紹介したいと思います。この改善により、ローカル環境（Mac）上でも開発環境のデータを参照しながら開発が行えるようになり、開発体験が大幅に向上しました。 背景 基盤チームでは定期的にバックエンドチームのメンバーに対して「開発者体験に関するアンケート」を実施しています。基盤チームにとっての直接のユーザはバックエンドメンバーであるため、生の声を聞くことで、現在解決しようとしている問題や開発リソースの配分、優先順位が
こんにちは、佐々木です。NRIネットコムの社外向け勉強会で、「データ分析基盤を作ってみよう ～性能測定編～」というタイトルで登壇してきました。その前に設計編というテーマで開催しており、今回はその続きです。アーキテクチャ設計をする上でAWSのサービスをどういう観点で評価するのか、またその裏付けを取るためにどうしているのかというのを実際の測定例とともに話しました。 発表資料と当日の動画 当日の発表資料と動画です。 speakerdeck.com www.youtube.com アーキテクチャの選定について アーキテクチャ選定の部分で取り上げたのが、BIツールでダッシュボードを作ってデータを可視化する例です。セッション中も話していたのですが、アーキテクチャの選択肢は沢山あります。そんな中でどうやって選ぶかなのですが、ここで取り上げた例はユーザーがどういう属性の人なのかということです。 例えば、ダ
The following is a chronicle of implementing a general purpose zero-instrumentation BPF based profiler for LuaJIT. Some assumptions are made about what this entails and it may be helpful to read some of our other work in this area. One major change from prior efforts is that instead of working with the original Parca unwinder we are now working with the OpenTelemetry eBPF profiler. If you missed t
こんにちは、富士榮です。 Okta社よりAD/LDAP DelAuthモジュールに関する脆弱性が報告されていますね。 https://trust.okta.com/security-advisories/okta-ad-ldap-delegated-authentication-username/ 報告されている内容としては、AD/LDAP DelAuthモジュールを使っている環境で、過去にキャッシュログインに成功したことのある場合、ユーザー名が52文字以上だとパスワードなし（キャッシュのみで）ログインが成功してしまう、という話です。 こちら上記のサイトからの引用です。 On October 30, 2024, a vulnerability was internally identified in generating the cache key for AD/LDAP DelAuth.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
