※git では本当の意味での空ディレクトリは作成できない。
git 上で空ディレクトリを管理する運用としては、以下のパターンがある。
- こんなフォルダ構成でやってきたいけど、まだ中身は空だよ。
\documentclass{jsarticle} | |
\begin{document} | |
群$G$を整数全体と普通の加法演算$+$からなるものとする。 | |
群$G'$が偶数全体と普通の加法演算$+$からなるとき、 | |
群$G'$が群$G$の部分群であることは以下からわかる。 | |
\begin{equation} | |
G' \subset G |
module Main where | |
import Control.Monad | |
import Control.Concurrent | |
import Control.Concurrent.STM | |
-- STM (TVar [STM (TVar Int)]) | |
type Data = TVar Int | |
type DataList = TVar [STM Data] |
# doxygenはソース中の改行を空白一文字に変換してしまう。 | |
# 日本語でドキュメントを書いている場合は | |
# これによって文章中に余計な空白が追加されることになって嬉しくない。 | |
# | |
# このinput_filterは、 | |
# //!という行形式のコメントが連続するドキュメントに対して、最後の行以外に<br>を付加する | |
# /*! */または/** */という複数行形式のドキュメント対して、 | |
# (先頭行/最後の行/空白行)以外に<br>を付加する。 | |
# また、先頭行が/*!あるいは/**だけではなくテキストが存在している場合は先頭行にも<br>を付加する | |
# |
// 文字列から ArrayBuffer への変換 | |
function string_to_buffer(src) { | |
return (new Uint16Array([].map.call(src, function(c) { | |
return c.charCodeAt(0) | |
}))).buffer; | |
} | |
// ArrayBuffer から文字列への変換 |
Auth and copy token at https://irc.gitter.im/.
Ignore the /PASS
thing, it doesn't work in weechat.
/server add gitter irc.gitter.im -ssl -ssl_verify -ssl_dhkey_size=1024 -password=<REPLACE_WITH_YOUR_TOKEN>
/connect gitter
node.js でパスを取得する方法についてのメモ
$ node ~/hoge/Foo.js/a.js
を実行したときに、
process.argv[1]
から、node コマンドに指定された a.js のパス( ~/hoge/Foo.js/a.js
)を取得できます#!/bin/bash | |
# | |
# rotate_desktop.sh | |
# | |
# Rotates modern Linux desktop screen and input devices to match. Handy for | |
# convertible notebooks. Call this script from panel launchers, keyboard | |
# shortcuts, or touch gesture bindings (xSwipe, touchegg, etc.). | |
# | |
# Using transformation matrix bits taken from: | |
# https://wiki.ubuntu.com/X/InputCoordinateTransformation |
あせ (・_・;) 顔文字 | |
あせ (・∀・;) 顔文字 | |
あせ (^ω^;;) 顔文字 | |
あせ (゚∀゚ ;) 顔文字 | |
あせ (゚∀゚ ;)タラー 顔文字 | |
あたふた ヽ(´・ω・`ヽ) 顔文字 | |
あつい (。>﹏<) 顔文字 | |
あつい (。>﹏<)あㄘ”ゅい 顔文字 | |
あつい (>﹏<。Ξ。>﹏<) 顔文字 | |
あつい ι(´Д`υ) 顔文字 |