極限・相似・背理法の3つだけを使い、単位円と内接三角形の箱庭の中で完結する初等的な証明。
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| FROM debian:stable-slim | |
| ENV LANG=ja_JP.UTF-8 | |
| ENV LANGUAGE=ja_JP:ja | |
| ENV LC_ALL=ja_JP.UTF-8 | |
| ENV PATH="/root/.texenv/bin:/root/.texenv/shims:/root/.plenv/shims:/root/.anyenv/envs/plenv/bin:/root/.anyenv/bin:${PATH}" | |
| RUN dpkg --add-architecture amd64 && \ | |
| apt-get update && \ | |
| apt-get install -y git curl gcc make locales libfontconfig1:amd64 && \ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ResutlObjectの型定義 | |
| type basicCalcResult = { [han: string]: { [fu: string]: number } }; | |
| type calcResult = { | |
| [han: string]: { [fu: string]: { [type: string]: string } }; | |
| }; | |
| type totalCalcResult = { [player: string]: calcResult }; | |
| // 切り上げ用関数 | |
| const roundUp = (val: number, base: number): number => | |
| Math.ceil(val / base) * base; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ResutlObjectの型定義 | |
| type basicCalcResult = { [han: string]: { [fu: string]: number } }; | |
| type calcResult = { | |
| [han: string]: { [fu: string]: { [type: string]: string } }; | |
| }; | |
| type totalCalcResult = { [player: string]: calcResult }; | |
| // 切り上げ用関数 | |
| const roundUp = (val: number, base: number): number => | |
| Math.ceil(val / base) * base; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // 切り上げ用関数 | |
| const roundUp = (val: number, base: number): number => | |
| Math.ceil(val / base) * base; | |
| // 翻数と符数 | |
| const hanArray = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]; | |
| const fuArray = [20, 25, 30, 40, 50, 60, 70, 80, 90, 100, 110]; | |
| const matrix: number[][] = hanArray.flatMap((han: number): number[][] => | |
| fuArray.map((fu: number): number[] => [han, fu]) | |
| ); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // 切り上げ用関数 | |
| const roundUp = (val: number, base: number): number => | |
| Math.ceil(val / base) * base; | |
| // 翻数と符数 | |
| const han = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]; | |
| const hu = [20, 25, 30, 40, 50, 60, 70, 80, 90, 100, 110]; | |
| const matrix: number[][] = han.flatMap((p: number): number[][] => | |
| hu.map((q: number): number[] => [p, q]) | |
| ); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| .editor-group-watermark > .letterpress{ | |
| background-image: url("https://raw.githubusercontent.com/Ender-Wiggin2019/ServiceLogos/main/VisualStudioCode/VisualStudioCodeRound.png") !important; | |
| opacity: .75; | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| # shellcheck disable=SC1009,SC1072,SC1073 | |
| set -eEu | |
| function install_bin() { | |
| function catch() { | |
| echo "" | |
| echo "Interrupting the bin command installation process..." | |
| [[ -f ./bin ]] && rm -rf ./bin |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| THE STRONGEST PUBLIC LICENSE | |
| Draft 1, November 2010 | |
| Everyone is permitted to copy and distribute verbatim or modified | |
| copies of this license document, and changing it is allowed as long | |
| as the name is changed. | |
| THE STRONGEST PUBLIC LICENSE | |
| TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION |
NewerOlder