Package: designed
designED(English version ishere)目次designED目次新着designEDってなに？誰のためのアプリ？あなたのためのアプリです😄！何の役に立つの？どうやって実現するの？すぐに試せるデモ環境フル機能使う手順（初歩から）インストール手順VScode拡張機能リストモジュールインストール方法機能(随時追加中)外部リンク作者ライセンスdesignED_enTable of ContentsNew!what's designED?Who is this app for?This is an app for you 😄!What is it useful for?What is it for?Instantly Tryable Demo EnvironmentPrerequisites for running designEDHow to Install the ModuleFeatures (Continuously being added)External LinksAuthorLicense新着python3.8に対応しました！なので、chatGPTのcode interpreterやGPTsでこちらのmoduleをuploadして、AIと対話的に証明を作成できます。
ぜひ試してみてください。designEDってなに？designEDは、デザインされた(designed)教育(ED)で、学びをアップデートするアプリです。より具体的には、プログラマーの秘密道具を使って、楽して大学に合格しちゃうアプリです。このアプリは、2023/12/06現在、大学受験-数学-整数論の参考書に相当する機能を提供します。誰のためのアプリ？あなたのためのアプリです😄！「有能な怠け者」のあなた「プログラミングスキルはあるけど、苦労して受験勉強したくない高校生」のあなた「理解力が高い中学生」のあなた「特殊な技能をつけて、高単価なバイトをしたい大学生」のあなた「プログラミングを覚えたい」あなた「子供の受験サポートのために、自分も学びたい親」のあなた何の役に立つの？できますできません / 興味がありません難関大学に合格するスキルがつきます。大学以上の高度な数学能力は対象外です。数学的思考力を向上させるを目的としません。プログラミングのスキルがつきます。pythonモジュール利用のスキルがつきます。関数型言語は扱いません。依存型は扱いません。受験勉強の工数を削減し、余暇を提供します。プログラマーの秘密道具をたくさん知れます。どうやって実現するの？受験問題を、日本語プログラミングで解きます！(面倒な微分・積分計算も自動でやってくれます)プログラミングの便利ツールで、証明作成をサポートします。よく使う定理や有名問題に名前をつけて、簡単呼び出し（ユーザスニペット）数や型の種類に紐づいて、公式がきれいに整理（公式や定理の入力補完）数や型の種類が誤っている場合、編集中にアラート（公式や定理の型チェック）公式や定理の説明を簡単に確認レンダリング自動化デバッグモードエラー表示プログラミング特化版のchatGPT:github copilotでAIの助けを借りながら、ストレスなく証明各ステップをAIに指示したり１題丸ごと解いちゃったり(京都大学類題)間違えたら証明と、正しい証明の差分を、chatGPTがフローチャートでわかりやすく見える化（AIによるコード図表変換）プログラマー用SNSで学習進捗を管理/共有すぐに試せるデモ環境こちらデモ環境のgoogle colabでは、高度なプログラミング支援機能はありませんが、簡単に動作を確認できます。（実行にはGoogle Accountが必要）（Colabの基本的な使い方は、こちら）フル機能使う手順（初歩から）インストール手順各インストール説明手順python実行環境のインストールdesignEDを動かすためのプログラミング言語をインストールするwindowsMacVScodeのインストールプログラミングコード専用のエディタ（wordやメモ帳みたいなもの）をインストールする外部リンクgitとGitHubのインストール書いたコードのバージョン管理ツール(git)とそのバージョンの保存先のwebサービス(GitHub)windowsMacGitHub Copilotの申請プログラミングに特化したchatGPTのようなもの申請手順VScode 拡張機能のインストールエディタに便利な追加機能をそれぞれインストールする下記「VScode拡張機能リスト」表参照VScode拡張機能リスト拡張機能説明Japanese Language Pack for VS CodeVScodeのボタンなどを日本語化するPythonpythonを書きやすくするPython Type Hint型チェックをするPylance型チェックをするJupyterノートブック形式(テキストとコードが一体化した形式)を使えるようにするJupyter Cell Tags support in VS CodeJupyterをもっと便利にするCode Spell Checker英単語のミススペルを教えてくれるモジュールインストール方法pipinstall--upgradedesigned機能(随時追加中)数式処理機能オブジェクト指向設計による公式・定理の整理四則演算微積分方程式の因数分解方程式、不等式のグラフ化倍数の証明ユークリッドの互除法整数不定方程式を解く証明支援入力補完（by typehint）型エラーチェック（by typehint + Pylance）hoverによる関数説明（by docstring）フローチャートリアルタイム生成などの、自作証明の図表化（by chatGPT）AIによる証明提案（by github copilot）外部リンクリンクコンテンツ学校での喩えAPIドキュメント(準備中)designEDモジュールの説明書数学公式集designEDモジュールのクローン元デモ面倒な環境構築不要のデモリンク先作者氏名: 知崎心一郎敏幸mail:designed.academy@gmail.comgithub:https://github.com/chisakiShinichirouToshiyukiライセンス著作権所有者：知崎心一郎敏幸このモジュール（以下「本モジュール」）は、以下の条件に基づいて提供されます。本モジュールの再配布は禁止されます。ただし、エンドユーザーが個別にpip installする場合は、この限りではありません。商用利用は禁止されます。本モジュールに基づいて派生物を作成する場合には、派生物がこのライセンスの下で提供されること、および派生物に関するすべての著作権、特許権、商標権、およびその他の知的財産権が本モジュールの著作権所有者に帰属することに同意する必要があります。本モジュールの使用は「AS IS」（現状有姿）で提供され、著作権者は、本モジュールに関連して生じた一切の責任を負いません。本ライセンスは、本モジュールの使用、複製、および再配布に対するライセンスを提供するものであり、本モジュールに関する特許権、商標権、および著作権に対するライセンスを提供するものではありません。このライセンスは、日本法に準拠し、日本語および英語の両方のバージョンがある場合、日本語版が優先されるものとします。本モジュールを使用することにより、このライセンスに同意したものとみなされます。designED_enTable of ContentsdesignED目次新着designEDってなに？誰のためのアプリ？あなたのためのアプリです😄！何の役に立つの？どうやって実現するの？すぐに試せるデモ環境フル機能使う手順（初歩から）インストール手順VScode拡張機能リストモジュールインストール方法機能(随時追加中)外部リンク作者ライセンスdesignED_enTable of ContentsNew!what's designED?Who is this app for?This is an app for you 😄!What is it useful for?What is it for?Instantly Tryable Demo EnvironmentPrerequisites for running designEDHow to Install the ModuleFeatures (Continuously being added)External LinksAuthorLicenseNew!This module is now compatible with python 3.8!So you can upload this module here with chatGPT's code interpreter or GPTs and create proofs interactively with AI.Please give it a try.what's designED?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.Who is this app for?This is an app for you 😄!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 is it useful for?What We Offer to youWhat We Don't Offer to you / Not Interested InYou 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.What is it for?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 theoremsAutomated renderingDebug modeError displayStress-free proof with the help of AI via a programming-specialized version of chatGPT: github copilotDirecting AI for each stepSolve 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)Manage/Share learning progress on a programmer's SNSInstantly Tryable Demo EnvironmentIn theDemo Environmenton 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)Prerequisites for running designEDIf running in VSCodeVSCode(A convenient code editor that assists with the proofs mentioned above)Python 3.9+ runtime environmentgit(Recommended)VSCode extensions (Recommended)Japanese Language Pack for VS CodePythonPython Type HintPylanceJupyterJupyter Cell Tags support in VS Code[GitHub Copilot][GitHub Copilot Labs]Markdown Preview Mermaid SupportCode Spell CheckerCode Spell CheckerHow to Install the Modulepipinstall--upgradedesignedFeatures (Continuously being added)Mathematical processing capabilities:Organizing formulas and theorems through object-oriented designBasic arithmetic operationsCalculusFactoring equationsGraphing equations and inequalitiesProof of multiplesEuclid's algorithmSolving Diophantine equationsProof 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)External LinksLinkContentAnalogy in schoolAPI DocumentationManual for the designED moduleMathematical Formula CollectiondesignEDSource of the module cloneDemoLink to a demo environment that doesn't require cumbersome setupAuthorName: Chisaki Shinichirou ToshiyukiMail:designed.academy@gmail.comgithub:https://github.com/chisakiShinichirouToshiyukiLicenseCopyright holder:Chisaki Shinichirou ToshiyukiThis 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.