In response to a recent Nature article which announced an algorithm for multiplying $5\times5$-matrices over $\mathbb{Z}_2$ with only 96 multiplications, two fewer than the previous record, we...

In numerical linear algebra we are concerned with solving linear algebra problems accurately and efficiently and understanding the sensitivity of the problems to perturbations. We describe seven si…

トロピカル半環と呼ばれる代数構造上のトロピカル行列を利用すると動的計画法を使ってグラフの最短経路の距離を計算するという問題が単純な行列積で解けてしまうらしい。そんな噂[^11][^25]を聞きつけて…

Artificial intelligence has recently experienced remarkable advances, fueled by large models, vast datasets, accelerated hardware, and, last but not least, the transformative power of...

The transformer neural network has significantly out-shined all other neural network architectures as the engine behind large language models. We provide a theoretical analysis of the expressivity...

Bored of algorithms? Here are my recommendations that are exciting, understandable, and sometimes even useful!

Over the past two decades machine learning has permeated almost every realm of technology. At the same time, many researchers have begun using category theory as a unifying language, facilitating...

ソフトウェア開発コミュニティでは、ドメインモデリングがソフトウェア設計の中心であることが広く認められてきています。ドメインモデルを通して、ソフトウェア開発者は豊富な機能を表現し、それをユーザの要求に本当の意味で応えるソフトウェアの実装に移すことができます。しかし、明らかに重要であるにもかかわらず、効果的なドメインモデリングをどのようにソフトウェア開発プロセスに組み入れるかを説明する、実用的な...

先日 Gotanda.hs #1 @HERP というイベントがあって、そこでRecursion Schemesで考える並べ替えアルゴリズムというタイトルでA Duality of Sortsという論…

Matrix multiplication consumes a large fraction of the time taken in many machine-learning algorithms. Thus, accelerator chips that perform matrix multiplication faster than conventional...

背景機械学習の手法のひとつであるクラスタリングは、データの特徴により分類を行います。クラスタリングには様々な手法がありますが、その多くは距離関数を利用して有限個の点を分類します。昨今、IT業界で…

An up-to-date community maintained version of the renowned "Learn You a Haskell" (LYAH) guide for Haskell. Packed with artwork, pop culture references, and most importantly, useful example code, this...

★第32回サントリー学芸賞(思想・歴史部門)、第19回大川出版賞受賞 プログラミング言語という人工言語の記号論を企て、人間の記号系の本質にせまる。 文理を超える野心的な試み。 「x:=x+1」のような命令をはじめ、プログラミング言語を仔細にみてゆくと、人間の自然言語とは異なる再帰性、記号系の自己言及が見られる。人工言語の記号論を企て、人間の記号系の本質を再考し、サントリー学芸賞、大川出版賞に...

sketchで作成しました。普段日銭を稼ぐためwebデザインをしておりますが本業は油絵です。Haskell初心者なので間違っている部分があるかもしれません。数学的なこと・エンジニア的な部分は本…

"Fast and Accurate Least-Mean-Squares Solvers" in Haskell https://arxiv.org/abs/1906.04705 - Main.hs

By doing dynamic programming in an abstract Semiring, we discover that many classical algorithms are, in fact, calculating shortest paths.

Haskell で AtCoder に入門しましょう

GitHub Gist: instantly share code, notes, and snippets.

We argue that all building blocks of transformer models can be expressed with a single concept: combinatorial Hopf algebra. Transformer learning emerges as a result of the subtle interplay between...

We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract the underlying...

二重振り子シミュレーション. Contribute to lotz84/double-pendulum-simulation development by creating an account on GitHub.

The Java and Scala community has built a very successful big data ecosystem. However, most of neural networks running on it are modeled in dynamically typed programming languages. These...

自動微分について調べていたら『精度保証付き数値計算の基礎』という本に出会いました。その中に非常に面白い応用が載っていたので紹介したいと思います。allsol :: (RealFloat a, Or…

Over the years, the articles on this blog have spanned a wide range of audiences, from fun facts (Multiplying Non-Numbers), to undergraduate level (The First Isomorphism Theorem, Intuitively), to...

Today I’m excited to announce that we deployed our next-generation storage engine that’s built on InfluxDB IOx in our InfluxDB Cloud platform. #influxdb

最近知っておもしろいと思った、圏論的確率論(と言っていいのかわかっていませんが)の導入部分を紹介します。おかしな点があればご指摘いただけますと幸いです。

Haskell is a unique and beautiful language that is worth learning, if for nothing else, then just for the concepts it introduces and their potential to expand your view on programming.

In our paper, published today in Nature, we introduce AlphaTensor, the first artificial intelligence (AI) system for discovering novel, efficient, and provably correct algorithms for fundamental...

Polymorphism is the idea of defining data structures or algorithms in general, ...