この記事は会計系 Advent Calendar 2023 #ACC_ACの23日目の記事です。
この記事では、私「毛糸」と生成AI赤ちゃんの「毛玉ちゃん」の対話を通じて、「簿記代数」という学問分野について解説します。
毛玉ちゃんは、GPTs「教えて！毛玉ちゃん」として実装された生成AIです。この記事の内容は毛玉ちゃんとのやり取りをほぼそのまま記載しています。
簿記代数の解説記事としてはもちろん、また生成AIとの対話例としてもお楽しみいただけます。
この記事では，会計研究とシミュレーション研究の可能性について，その背景と関連文献を述べます。
この記事では，ブラックウェル，マーシャク，宮沢らの情報と意思決定の理論に関する文献を紹介します。
フィルトレーション（情報増大系）は時間が進むにつれて情報が増えていくさまを記述できる確率論の概念です。
時間が進むという「動き」と，情報が「増える」という動きが，フィルトレーションという概念によって結び付けられています。
いわば構造を保っているわけです。
構造を保つというキーワードから想起される数学概念には，例えば準同型があります。
このほか，圏論における関手も，構造を保つ対応付けといえます。
この意味で，フィルトレーションは関手っぽいわけですが，そうした視点からフィルトレーションを扱った論文を見つけたのでメモしておきます。
足立高德，中島克志，琉佳勳，一般化フィルトレーションと二項資産価格モデル，オペレーションズ・リサーチ，2020年7月号（参考URL）
複式簿記の「複」を「二」ととらえると，二式簿記は三式簿記や四式以上に拡張できるのではと思えてきます。
そうしたアイデアを実現させたのが井尻先生の三式簿記の理論です。
四式以上への拡張も可能なのかという疑問も当然湧いて出てきます。
この疑問に対して\( 2n\)式簿記を提唱する研究を見つけたので紹介します。
大貫裕二，交換代数による多元簿記とバリュー・マネジメント， 国際P2M学会研究発表大会予稿集，2013（J-STAGE）
以前このブログでテンソル簿記なる概念を披露しました。仕訳や試算表がベクトル表現できるというアイデアを，行列やテンソル（多次元配列）へと拡張するというものです。
テンソル簿記は\(2^n\)式簿記をイメージしており，\(2n\)簿記とは趣が異なります。
おそらく，\(2^n\)式簿記は\(n\)組の基底のテンソル積，\(2n\)簿記は\(n\)組の基底の直和なのではないかと考えています。
この記事で述べたような「複式簿記の拡張」に関する議論は今なお続いています。以下の書籍は複式簿記の本質的な構造に鋭く切り込む良書です，是非チェックしてみてください。
このブログで紹介する簿記代数の議論はすべて，あるひとつの価値尺度に基づいています。
貨幣を用いた価値尺度によって統一的に測定を行うことはギルマンの公準の一つ「貨幣測定の公準」として知られます。
しかし，複式簿記の最近の研究において，この要求を緩和した形での理論がいくつも提案されてきています。
たとえば出口先生の交換代数は，複式簿記の構造を代数的に表したうえで，貨幣以外の測定単位（kgとか個とか）を用いた簿記演算を可能にしています。
参考：出口弘，実物簿記を用いたマネジメント会計と監査－SDGSの目標実現のために－，CUC公開講座2021 第1回（LINK:CUC公開講座 2021年度）
パチョーリ群の生みの親Ellermanも非貨幣尺度への簿記の拡張を行っています。彼はパチョーリ群を多次元に拡張し，財産会計に基づく経済学を創りました。
論文紹介：On Double-Entry Bookkeeping: The Mathematical Treatment (Ellerman 2014)
簿記・会計の公理を提示したRenesの2020年の論文においても，単一の貨幣尺度による測定という公理を緩和しようとしています。
ここに挙げたような複式簿記の根本原理への問いかけは，まだまだつきません。興味のある方は簿記理論のテキストを開いてみるときっと楽しめると思います。
公理とはある数学概念を定義づける基本的命題や主張のことです。例えば，群の公理，ベクトル空間の公理などがあります。群の公理は「これこれという性質をもつものを，群とよぶ」という群の定義に用いられ，「これこれという性質」が公理にあたります。
会計理論を公理的に扱おうとする動きは19世紀以降活発に起こりました。会計の公理化に取り組んだ研究者として注目したいのが，マテシッチと井尻です。
会計公理研究は，会計の本質はどこにあるのかという視点を明らかにするという意味で，会計研究において極めて重要です。
理想的には，ある会計公理を定めれば，それのみに依拠して会計のさまざまな理論が導出できることが望ましいのです。例えば○○という公理から，減価償却を行う必要があるという命題を導いたり，××という公理から，親子会社間の取引は連結相殺消去しなくてはならないという命題を導いたりといった具合です。
しかし現代において会計理論を演繹的に導出できるような公理は設定できていません。概念フレームワークはそれに近いといえますが，しかし概念フレームワークによって会計の諸原則がすべて導けるわけではないため，公理とは言い難いと考えられます。
会計とはある種の決まりごとですが，それはとても複雑で，いくつかの特定の命題からすべて演繹することは絶望的です。
会計の公理化に挑戦した井尻先生は『新会計学辞典』（神戸大学会計学研究室編 1966）の「会計公理」の記述の中で，会計理論全体を包括する公理系の構築は不可能であろうと述べています。
井尻の不可能性予想とでも呼ぶべきこの予想は立証されているのか否か，私にはわかりません。もし立証されていれば，それは会計公理の不可能性定理とよぶべきでしょうし，反証されていれば会計公理が存在するということになります。
会計の公理化がどこまで可能で，どこから不可能なのかという範囲についてなら，私にも論じることはできそうなので，別の機会に述べたいと思います。
この記事は以下の書籍の第18章「簿記理論の公理系」を参考にしました。
この記事では，複式簿記におけるT勘定の代数構造についての論文”On Double-Entry Bookkeeping: The Mathematical Treatment” Ellerman(2014)を紹介します。
“On Double-Entry Bookkeeping: The Mathematical Treatment”（以下Ellerman (2014)）は，複式簿記の代数構造に関するの論文です。
複式簿記における勘定科目のTフォーム（T勘定図）が”差の群”(group of difference)としての性質を持つことを明らかにし，複式簿記が持つ数学的な構造を明瞭に示しています。
Ellerman (2014)はこの群をパチョーリ群と名付けました。
Ellerman (2014)が面白いのは，複式簿記の数学的な取り扱いを初めて明らかにしたからです。
複式簿記の数学的な性質に言及した研究者は古くから存在していましたが，それらはほとんど注目されませんでした。
ド・モルガンやケイリーといった高名な数学者も複式簿記の数学的構造とその美しさについて考えを述べています。
しかし数学の正しい言葉遣いで複式簿記の性質を明確に述べたものはほぼなく，19世紀に入ってから見いだされた数学によって，やっと複式簿記の正確な数学的表現が得られました。
Ellerman (2014)は複式簿記の性質を代数的に正確な形で表現し研究した点が，独創的です。
Ellerman (2014)は複式簿記という実務的色合いの濃い対象を，純粋な数学的対象と位置づけたところに重要な意義があります。
複式簿記の代数構造が明らかになれば，その構造に基づいて会計システムを構築したり，複式簿記の新しい活用方法を模索したりできます。
特に，複式簿記の新しい活用方法については，Ellerman (2014)の中で，会計数値を多次元ベクトルで表すという方向性を提示しています。
複式簿記は単一の貨幣尺度に基づく測定が前提とされますが，ベクトル会計システムを用いれば，異なる性質の取引や異なる品目の財をひとつの価値尺度で測定することなしに，複式簿記の枠組みで考察することが可能になります。
Ellerman (2014)は現代的な抽象代数の言葉で表現されています。これを理解するには，大学の初年度レベルの代数の知識が必要です。以下の書籍は私がこの文献を理解する際に参考にしました。
以下の記事はEllerman (2014)が提示した複式簿記の代数構造「パチョーリ群」について解説しています。
Ellerman (2014)とは異なる複式簿記の代数研究もあります。試算表や仕訳をベクトルで表現しその代数構造を探った研究があり，以下の記事はその研究書のレビュー記事です。
書評『Algebraic Models for Accounting Systems』複式簿記と会計システムの代数構造を解明する
会計データはデータベースの形式でシステムに保持されますが，そのデータベースの性質はコンピュータの発展に伴って変容してきました。
この記事では，会計帳簿が電子化されてきた経緯を，技術的なメリット，デメリットに着目して解説します。この記事の内容は以下のテキストの第4章「帳簿の電子化と複式簿記の役割」を参考にしています。
この記事では会計データの概念モデルであるREA会計モデルについて説明します。
REA会計モデルは複雑な会計事象をシンプルに表現するための基本的な視点を提供してくれます。
最近のコメント