git-remote-dropox
を設定するためのスクリプト
どこかに空のディレクトリを作成し、そこで new_git_repository
を実行すると Dropbox git repository に空の Readme.md だけを含んだリポジトリが作成され、そこに clone される。
<!DOCTYPE html> | |
<script src="https://code.jquery.com/jquery-3.7.1.min.js"></script> | |
<script src="https://code.jquery.com/ui/1.13.2/jquery-ui.js"></script> | |
<script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> | |
<script> | |
const tooltips = { | |
'a2+b2=c2': 'aとbの二乗和はcの二乗に等しい。', | |
'd2+e2=f2': 'dとeの二乗和はfの二乗に等しい。', | |
}; |
git-remote-dropox
を設定するためのスクリプトどこかに空のディレクトリを作成し、そこで new_git_repository
を実行すると Dropbox git repository に空の Readme.md だけを含んだリポジトリが作成され、そこに clone される。
git-remote-dropox
を設定するためのスクリプトどこかに空のディレクトリを作成し、そこで new_git_repository
を実行すると Dropbox git repository に空の Readme.md だけを含んだリポジトリが作成され、そこに clone される。
Future と Promise を使って World の基本原理を実装している。
基本機能として、
ややこしい実装になっているのは、busy waiting を避けるため。
#!/usr/bin/env python3 | |
import datetime | |
import random | |
random.seed(datetime.date.today().strftime('%Y-%m-%d')) | |
people = 'のびた じゃいあん どらちゃん すねお'.split() # people には空白区切りでメンバーの名前を記入する | |
random.shuffle(people) | |
print('\n'.join(['\n# 今日の発表順\n'] + people)) |
<div background-color="0xFFCDE4"> | |
Red | |
</div> |
cd /var/folders; for d in *; do if [ "$d" != zz ]; then sudo rm -rf "$d"; fi; done; echo 'macOS refreshed!' |
いくつかの Python 基盤を利用した Jupyter の上で IJulia を介して PlotlyJS が動作することを Apple M1 の ARM 環境で検証。
詳しい解説はQiita 記事を