| \documentclass[senior,final,11pt]{uiscs-thesis} | |
| % 論文の種類とフォントサイズをオプションに | |
| %------------------- | |
| \etitle{Title in English} | |
| \jtitle{邦文標題} | |
| % | |
| \eauthor{Taro Todai} | |
| \jauthor{東大太郎} | |
| \esupervisor{Masami Hagiya} | |
| \jsupervisor{萩谷昌己} |
| #!/bin/bash | |
| CHAP= | |
| ALLFLAG=0 | |
| while getopts ac: OPT | |
| do | |
| case $OPT in | |
| a) ALLFLAG=1;; | |
| c) CHAP=$OPTARG;; |
This userjs improves the layout of the algebraic topology website Algebraic Toplogy, A Guide To Literature.
When these extensions are installed in your browser, clicking shinshu.user.js will install this script.
| def x;$x=!$x;end.tap do%) | |
| def f(x) | |
| if x | |
| unless x | |
| p :foo # ←ここに実行到達することは可能か？ | |
| end | |
| end | |
| end |
SATySFiコミッターポリシー提案
用語
PRについて
| (* Encoding termination of a Turing machine into a GADT *) | |
| type s0 and s1 and s2 and s3 and s4 and fin | |
| type c0 and c1 and c2 and c3 and blank | |
| type left and right | |
| type endt | |
| type ('st_in, 'head_in, 'st_out, 'head_out, 'lr) transition = | |
| | Tr1 : (s0, 'a, s1, 'a, left) transition |
| #!/bin/bash | |
| set -eu | |
| readonly ARCHIVER_DIR_PREFIX="${HOME}/.minecraft_archiver" | |
| readonly ARCHIVER_BIN_DIR="${ARCHIVER_DIR_PREFIX}/bin" | |
| readonly ARCHIVER_WORK_DIR="${ARCHIVER_DIR_PREFIX}/work" | |
| readonly SYSTEMD_UNIT_DIR="/usr/lib/systemd/system/" | |
| yum -y update |
将来どうなるかはわからないのだが、とりあえず2018年現在、まだスパコンを使って数値計算をしようとしたらFortranかC++を使わなければならない。で、一般論としてコンパイラはFortranの方が最適化しやすく、似たようなコードをFortranとC++で書いたら、Fortranの方が早くなる、ということはまま起きる。それじゃ全部Fortranでかけばよいのか？というと、世の中そんなに単純では無い気がするよ、という感じのポエムです。
なお、以下に出てくる数値計算結果は筆者の(だいぶ昔の)経験を脚色したもので、実際に存在するアーキテクチャやコンパイラとは全く関係ありませんのであしからず。
この記事は IT勉強会/コミュニティ運営 Advent Calendar 2016 の 12 日目の記事です。
ぴねと申します。JavaScript が好きです。仕事では Perl を主に書いてます。
