Skip to content

Instantly share code, notes, and snippets.

View aiya000's full-sized avatar
🐶
Inu

aiya000 aiya000

🐶
Inu
View GitHub Profile
\documentclass{jsarticle}
\begin{document}
群$G$を整数全体と普通の加法演算$+$からなるものとする。
群$G'$が偶数全体と普通の加法演算$+$からなるとき、
群$G'$が群$G$の部分群であることは以下からわかる。
\begin{equation}
G' \subset G
@techno-tanoC
techno-tanoC / stm-test.hs
Last active September 29, 2015 01:04
performance of stm
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]
@hotwatermorning
hotwatermorning / input_filter.sh
Last active April 20, 2018 05:24
doxygenでコメントに改行を付加する
# doxygenはソース中の改行を空白一文字に変換してしまう。
# 日本語でドキュメントを書いている場合は
# これによって文章中に余計な空白が追加されることになって嬉しくない。
#
# このinput_filterは、
# //!という行形式のコメントが連続するドキュメントに対して、最後の行以外に<br>を付加する
# /*! */または/** */という複数行形式のドキュメント対して、
# (先頭行/最後の行/空白行)以外に<br>を付加する。
# また、先頭行が/*!あるいは/**だけではなくテキストが存在している場合は先頭行にも<br>を付加する
#
@kawanet
kawanet / string_to_buffer.js
Last active May 16, 2024 10:35
String と ArrayBuffer の相互変換 JavaScript
// 文字列から ArrayBuffer への変換
function string_to_buffer(src) {
return (new Uint16Array([].map.call(src, function(c) {
return c.charCodeAt(0)
}))).buffer;
}
// ArrayBuffer から文字列への変換
@mid0111
mid0111 / git-empty.md
Created February 10, 2015 12:03
git での空ディレクトリ

git での空ディレクトリ

※git では本当の意味での空ディレクトリは作成できない。

git 上で空ディレクトリを管理する運用としては、以下のパターンがある。

  1. こんなフォルダ構成でやってきたいけど、まだ中身は空だよ。
@raine
raine / gitter-weechat-instructions.md
Last active October 4, 2021 10:52
Connecting to gitter using weechat

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
  • 🎨 when improving the format/structure of the code
  • 🚀 when improving performance
  • ✏️ when writing docs
  • 💡 new idea
  • 🚧 work in progress
  • ➕ when adding feature
  • ➖ when removing feature
  • 🔈 when adding logging
  • 🔇 when reducing logging
  • 🐛 when fixing a bug
@uupaa
uupaa / get.path.for.node.js.md
Last active March 7, 2025 14:03
node.js で絶対パスや相対パスを取得する方法 npm __dirname

node.js でパスを取得する方法についてのメモ

$ node ~/hoge/Foo.js/a.js

を実行したときに、

  • process.argv[1] から、node コマンドに指定された a.js のパス( ~/hoge/Foo.js/a.js )を取得できます
@mildmojo
mildmojo / rotate_desktop.sh
Created June 18, 2014 06:47
Script to rotate the screen and touch devices on modern Linux desktops. Great for convertible laptops.
#!/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
@Tosainu
Tosainu / cute_AA.txt
Last active May 10, 2025 02:55
顔文字詰め合わせ
あせ (・_・;) 顔文字
あせ (・∀・;) 顔文字
あせ (^ω^;;) 顔文字
あせ (゚∀゚ ;) 顔文字
あせ (゚∀゚ ;)タラー 顔文字
あたふた ヽ(´・ω・`ヽ) 顔文字
あつい (。>﹏<) 顔文字
あつい (。>﹏<)あㄘ”ゅい 顔文字
あつい (>﹏<。Ξ。>﹏<) 顔文字
あつい ι(´Д`υ) 顔文字