(English version is here)
designEDは、デザインされた(designed)教育(ED)で、学びをアップデートするアプリです。
より具体的には、プログラマーの秘密道具を使って、楽して大学に合格しちゃうアプリです。
このアプリは、2023/12/06現在、大学受験-数学-整数論の参考書に相当する機能を提供します。
- 「有能な怠け者」のあなた
- 「プログラミングスキルはあるけど、苦労して受験勉強したくない高校生」のあなた
- 「理解力が高い中学生」のあなた
- 「特殊な技能をつけて、高単価なバイトをしたい大学生」のあなた
- 「プログラミングを覚えたい」あなた
- 「子供の受験サポートのために、自分も学びたい親」のあなた
| できます | できません / 興味がありません |
|---|---|
| 難関大学に合格するスキルがつきます。 | 大学以上の高度な数学能力は対象外です。 数学的思考力を向上させるを目的としません。 |
| プログラミングのスキルがつきます。 pythonモジュール利用のスキルがつきます。 |
関数型言語は扱いません。 依存型は扱いません。 |
| 受験勉強の工数を削減し、余暇を提供します。 | |
| プログラマーの秘密道具をたくさん知れます。 |
- 受験問題を、日本語プログラミングで解きます！(面倒な微分・積分計算も自動でやってくれます)
- プログラミングの便利ツールで、証明作成をサポートします。
- よく使う定理や有名問題に名前をつけて、簡単呼び出し（ユーザスニペット）
- 数や型の種類に紐づいて、公式がきれいに整理（公式や定理の入力補完）
- 数や型の種類が誤っている場合、編集中にアラート（公式や定理の型チェック）
- 公式や定理の説明を簡単に確認
- レンダリング自動化
- デバッグモード
- エラー表示
- プログラミング特化版のchatGPT:github copilotでAIの助けを借りながら、ストレスなく証明
- 各ステップをAIに指示したり
- １題丸ごと解いちゃったり(京都大学類題)
- 間違えたら証明と、正しい証明の差分を、chatGPTがフローチャートでわかりやすく見える化（AIによるコード図表変換）
- よく使う定理や有名問題に名前をつけて、簡単呼び出し（ユーザスニペット）
- プログラマー用SNSで学習進捗を管理/共有
こちらデモ環境のgoogle colabでは、高度なプログラミング支援機能はありませんが、簡単に動作を確認できます。
（実行にはGoogle Accountが必要）
（Colabの基本的な使い方は、こちら）
| 各インストール | 説明 | 手順 |
|---|---|---|
| python実行環境のインストール | designEDを動かすためのプログラミング言語をインストールする | windows Mac |
| VScodeのインストール | プログラミングコード専用のエディタ（wordやメモ帳みたいなもの）をインストールする | 外部リンク |
| gitとGitHubのインストール | 書いたコードのバージョン管理ツール(git)とそのバージョンの保存先のwebサービス(GitHub) | windows Mac |
| GitHub Copilotの申請 | プログラミングに特化したchatGPTのようなもの | 申請手順 |
| VScode 拡張機能のインストール | エディタに便利な追加機能をそれぞれインストールする | 下記「VScode拡張機能リスト」表参照 |
| 拡張機能 | 説明 |
|---|---|
| Japanese Language Pack for VS Code | VScodeのボタンなどを日本語化する |
| Python | pythonを書きやすくする |
| Python Type Hint | 型チェックをする |
| Pylance | 型チェックをする |
| Jupyter | ノートブック形式(テキストとコードが一体化した形式)を使えるようにする |
| Jupyter Cell Tags support in VS Code | Jupyterをもっと便利にする |
| Code Spell Checker | 英単語のミススペルを教えてくれる |
pip install --upgrade designed- 数式処理機能
- オブジェクト指向設計による公式・定理の整理
- 四則演算
- 微積分
- 方程式の因数分解
- 方程式、不等式のグラフ化
- 倍数の証明
- ユークリッドの互除法
- 整数不定方程式を解く
- 証明支援
- 入力補完（by typehint）
- 型エラーチェック（by typehint + Pylance）
- hoverによる関数説明（by docstring）
- フローチャートリアルタイム生成などの、自作証明の図表化（by chatGPT）
- AIによる証明提案（by github copilot）
| リンク | コンテンツ | 学校での喩え |
|---|---|---|
| APIドキュメント(準備中) | designEDモジュールの説明書 | 数学公式集 |
| designED | モジュールのクローン元 | |
| デモ | 面倒な環境構築不要のデモリンク先 |
- 氏名: 知崎心一郎敏幸
- mail: designed.academy@gmail.com
- github: https://github.com/chisakiShinichirouToshiyuki
著作権所有者： 知崎心一郎敏幸
このモジュール（以下「本モジュール」）は、以下の条件に基づいて提供されます。
- 本モジュールの再配布は禁止されます。ただし、エンドユーザーが個別にpip installする場合は、この限りではありません。
- 商用利用は禁止されます。
- 本モジュールに基づいて派生物を作成する場合には、派生物がこのライセンスの下で提供されること、および派生物に関するすべての著作権、特許権、商標権、およびその他の知的財産権が本モジュールの著作権所有者に帰属することに同意する必要があります。
- 本モジュールの使用は「AS IS」（現状有姿）で提供され、著作権者は、本モジュールに関連して生じた一切の責任を負いません。
- 本ライセンスは、本モジュールの使用、複製、および再配布に対するライセンスを提供するものであり、本モジュールに関する特許権、商標権、および著作権に対するライセンスを提供するものではありません。
- このライセンスは、日本法に準拠し、日本語および英語の両方のバージョンがある場合、日本語版が優先されるものとします。
- 本モジュールを使用することにより、このライセンスに同意したものとみなされます。
designED is an app that updates learning with designed education (ED).
More specifically, it is an app that will help you pass college, using the secret tools of programmers.
This app provides the equivalent of a reference book (College Entrance Exams - Mathematics - Integer Theory) as of 12/06/2023.
- You, the "competent slacker."
- You, the "high school student who has programming skills but doesn't want to study hard for exams".
- You, the "junior high school student with good comprehension skills."
- You, the "college student who wants to develop special skills and get a high paying job".
- You, the "high school student who wants to learn programming skills but doesn't want to study hard for entrance exams".
- You, the "parent who wants to learn to support your child's entrance examinations".
| What We Offer to you | What We Don't Offer to you / Not Interested In |
|---|---|
| You will gain skills to pass competitive university entrance exams. | Advanced mathematical abilities beyond the university level are not covered. It does not aim to improve mathematical thinking skills. |
| You will gain beginner-level programming skills. You will learn how to use Python modules. |
Functional languages are not covered. Dependent types are not covered. |
| Reduce the amount of time spent on exam preparation and provide leisure time. | |
| You will learn about many secret tools of programmers. |
- Solve exam problems with Japanese programming! (Automatically handles tedious differentiation and integration calculations)
- Supports proof creation with programming tools.
- Name frequently used theorems and famous problems for easy recall (User Snippets)
- Formulas are neatly organized according to numbers and types (Input completion for formulas and theorems)
- If numbers or types are incorrect, you will be alerted while editing (Type check for formulas and theorems)
- Easily check the explanations of formulas and theorems
- Automated rendering
- Debug mode
- Error display
- Stress-free proof with the help of AI via a programming-specialized version of chatGPT: github copilot
- Directing AI for each step
- Solve an entire problem in one go (Kyoto University similar problems)
- chatGPT makes the differences between the mistaken proof and the correct one easy to understand with a flowchart (Code diagram conversion by AI)
- Name frequently used theorems and famous problems for easy recall (User Snippets)
- Manage/Share learning progress on a programmer's SNS
In the Demo Environment on Google Colab, although advanced programming support features are not available, you can easily check the operation.
(A Google Account is required to execute)
(For basic usage of Colab, click here)
- If running in VSCode
- VSCode (A convenient code editor that assists with the proofs mentioned above)
- Python 3.9+ runtime environment
- git (Recommended)
- VSCode extensions (Recommended)
- Japanese Language Pack for VS Code
- Python
- Python Type Hint
- Pylance
- Jupyter
- Jupyter Cell Tags support in VS Code
- [GitHub Copilot]
- [GitHub Copilot Labs]
- Markdown Preview Mermaid Support
- Code Spell Checker
- Code Spell Checker
pip install --upgrade designed- Mathematical processing capabilities:
- Organizing formulas and theorems through object-oriented design
- Basic arithmetic operations
- Calculus
- Factoring equations
- Graphing equations and inequalities
- Proof of multiples
- Euclid's algorithm
- Solving Diophantine equations
- Proof assistance:
- Input completion (by typehint)
- Type error checking (by typehint + Pylance)
- Function explanations on hover (by docstring)
- Diagramming of custom proofs in real-time (by chatGPT)
- AI-suggested proofs (by GitHub Copilot)
| Link | Content | Analogy in school |
|---|---|---|
| API Documentation | Manual for the designED module | Mathematical Formula Collection |
| designED | Source of the module clone | |
| Demo | Link to a demo environment that doesn't require cumbersome setup |
- Name: Chisaki Shinichirou Toshiyuki
- Mail: designed.academy@gmail.com
- github: https://github.com/chisakiShinichirouToshiyuki
Copyright holder: Chisaki Shinichirou Toshiyuki
This module (hereinafter referred to as "this module") is provided under the following conditions:
- Redistribution of this module is prohibited. However, this does not apply when end-users individually install via pip install.
- Commercial use is prohibited.
- When creating derivatives based on this module, it is necessary to agree that the derivative is provided under this license, and all copyrights, patent rights, trademarks, and other intellectual property rights related to the derivative belong to the copyright holder of this module.
- The use of this module is provided "AS IS", and the copyright holder is not liable for any issues related to this module.
- This license provides a license for the use, reproduction, and redistribution of this module, and does not provide a license for patents, trademarks, and copyrights related to this module.
- This license is subject to Japanese law, and in the case of both Japanese and English versions, the Japanese version takes precedence.
- By using this module, you are deemed to have agreed to this license.