AXIOMA 前提から、組み立てる。
着手前に、いっしょに書き出すこと
- 1毎月の集計を、三つの表から手で写している前提困っていること
- 2表が一つにまとまり、集計が自動で出る前提解決したと言える状態
- 3ひと月分を新しいやり方で回し、前の月と比べる前提確かめ方
- ∴三つの表を一つにまとめ、集計を自動で出すツールを作る作るもの1と2から
3のやり方で確かめてから、お渡しします。∎
01Servicesできること
-
課題整理
いまの業務の流れを伺って書き出し、改善したい点と、手を付ける順番を決めます。 - お渡しするもの
- 業務の流れ図と、順番を付けた改善点の一覧
-
業務ツールの開発
繰り返しの作業を自動にするツールや、散らばった情報をまとめて扱うツールを作ります。 - お渡しするもの
- 動くツールと、使い方の説明
-
AIの活用支援
AIに任せる作業を絞り込み、出てきた答えの確かめ方と、日々の使い方の手順を決めます。 - お渡しするもの
- 任せる作業の一覧と、確かめ方を含む運用の手順
02Process進め方
- 01
ヒアリング
業務の状況と困りごとを伺います。 -
02
要件の決定
取り組む範囲と、うまくいったかの判断基準を決めます。 - 03
試作と検証
試作品を使っていただき、使い方や要件を調整します。 - 04
納品
成果物と使い方をお渡しします。
03Contactご相談
- 1何に困っているか
- 2何が変われば解決か
- 3どう確かめるか
- 受付方法
- ご相談の受付方法は、このページに掲載します。
04Axioms屋号と公理
axioma
ラテン語。もとはギリシャ語の ἀξίωμα
- 意味
公理。証明を必要とせず、推論の出発点として置かれる命題。 - 屋号として
前提を明らかにすることから仕事を始める、という意思を込めています。
代表的な公理数学の分野はどれも、証明せずに置く出発点から組み立てられています。
ユークリッドの第1公準
2点を結ぶ直線が引ける。
ユークリッドの第5公準
直線外の点を通る平行線は、ちょうど1本。
- 0 ∈ ℕ
n ∈ ℕ ⇒ S(n) ∈ ℕペアノの公理(2つ)
0は自然数。自然数の次の数も自然数。
- ∀x (x∈A ⇔ x∈B)
⇒ A = B外延性の公理
同じ要素をもつ集合は等しい。
- ∃E ∀x ¬(x ∈ E)
空集合の公理
要素のない集合が存在する。
- P(A) ≥ 0
P(Ω) = 1コルモゴロフの公理(2つ)
確率は0以上で、全体の確率は1。