- 二項演算operateColorは、集合ColorSetに含まれる任意の2つの要素を引数に取り、
- その結果も集合ColorSetに含まれる要素を返すように実装されています。
- そのため、二項演算の閉包性は満たされています。
NOTE:
- ColorSetは全部の色の集合=16^6個の要素を本来は持つが、便宜上形式的に3つで表現している。
- そのため、オリーブの色も本来はそのColorSetに含まれている。
| #!/bin/bash | |
| # sudo apt install xdotool | |
| # pls find coordinate by `xdotool getmouselocation` | |
| # get the window id | |
| WINDOW_ID=$(xdotool search --onlyvisible --class "chrome" | head -n 1) | |
| if [ -z "$WINDOW_ID" ]; then | |
| echo "we cloundt find chrome window." | |
| exit 1 |
| window.addEventListener('load', (event) => { | |
| if (!window.CodeMirror || !CodeMirror.Vim) { | |
| console.log("[warn] no CodeMirror") | |
| return | |
| } | |
| CodeMirror.Vim.defineAction('copyclipboard', function(cm, actionArgs) { | |
| console.log('copying!!!'); | |
| document.execCommand('copy'); | |
| }); |
| #!/bin/bash | |
| # ref: https://stackoverflow.com/questions/43235179/how-to-execute-ssh-keygen-without-prompt | |
| #!/bin/bash | |
| # Check if argument is provided | |
| if [ $# -ne 1 ]; then | |
| echo "Error: Please provide a name for the SSH key" | |
| echo "Usage: $0 <key-name>" |
2020/5/31追記:
自分用のメモに書いていたつもりだったのですが、たくさんのスターを頂けてとても嬉しいです。
と同時に、書きかけで中途半端な状態のドキュメントをご覧いただくことになっており、大変心苦しく思っています。
このドキュメントを完成させるために、今後以下のような更新を予定しています。
2021/1/22追記:
| { | |
| "version": "0.2.0", | |
| "configurations": [ | |
| { | |
| "name": "Python: Django", | |
| "type": "python", | |
| "request": "launch", | |
| "program": "/home/mike/Workspace/xxx/xxx/manage.py", | |
| "console": "integratedTerminal", | |
| "args": [ |
| wtf = type('', (), {})() |
| Name | OS | Intel | Arm | 32bit | 64bit |
|---|---|---|---|---|---|
| Linux x86_64 | Linux | ◯ | ◯ | ◯ | |
| Linux x86_64 CUDA | Linux | ◯ | ◯ | ◯ | |
| Linux AArch64 | Linux | ◯ | ◯ | ◯ | |
| Linux ARMv7 | Linux | ◯ | ◯ | ||
| Windows x86_64 | Windows | ◯ | ◯ | ◯ | |
| Android arm64-v8a | Android | ◯ | ◯ | ◯ | |
| Android armeabi-v7a | Android | ◯ | ◯ |
| 日本語 | 英語 |
|---|---|
| Authorized Capital Stock | 授権資本 |
| Subscribed Capital Stock | 引受済資本金 |
| Paid-up Capital Stock | 払込資本金 |
払込資本金 = 資本金 + 資本準備金
日本語|英語
| 用語 | 意味 |
|---|---|
| オペランド(operand) | 3+5 の3や5のこと |
| オペレーター(operator) | 3+5 の+の記号のこと |
| アリティ(ality) | 演算子の被演算子の数のこと。例えば二項演算子なら2つ |