Skip to content

Instantly share code, notes, and snippets.

View cmplstofB's full-sized avatar

B̅ cmplstofB

16 followers · 15 following
  • Osaka, Japan (UTF+09:00)
View GitHub Profile
@cmplstofB
cmplstofB / useful_skk_dic.lisp
Last active October 24, 2017 21:54
私個人に都合が良い利用者用 SKK 辞書
;; Encoding: UTF-8
;; Format: Okuri-ari
;; Author: cmplstofB <https://github.com/cmplstofB>
;; Description (ja-JP): 私個人に都合が良い利用者用 SKK 辞書
にこどう /ニコ動;ニコニコ動画/
#こめ /#0個目/
>こ /娘;「ぼくっ娘」/
第#話 /第#3話/
pn /素数/
fd /freedesktop.org;Unix デスクトップ環境の相互運用・規格整備/
@cmplstofB
cmplstofB / proof_euclid_theorem.adoc
Last active November 8, 2017 23:18
素数の無限性の証明 (Euclid の手法)

素数の無限性の証明

Euclid の方法を用いる。

証明

素数の存在は自明である。

\(n\) 個 (\(n\) は正整数) の素数の最小公倍数の後者 \( \

@cmplstofB
cmplstofB / reheat_prepared_grilled_fish.adoc
Last active August 17, 2018 16:54
惣菜コーナーで購入した焼き魚を再加熱する方法

惣菜コーナーの焼き魚を再加熱する

惣菜コーナーで購入した，製造から長時間が経過した焼き魚（以後「対象」）は総じてその食感や味を落している。 これを家庭用の調理機器及び調理補助器具を用いて可能な限り〝焼き立て〟の食感・味を復活させる。

要件

  • 6.0×102 W程度までの段階的な出力の調整が可能な時限式家庭用電子レンジ

  • 1.0×103 W程度までの段階的な出力の調整が可能な時限式家庭用オーブントースタ

@cmplstofB
cmplstofB / how_c_source_files_are_builed_to_executable_file.adoc
Last active October 25, 2018 10:01
C言語の原稿がビルドされ実行可能ファイルになるまで（個人用控え）

C言語の原稿がビルドされ実行可能ファイルになるまで（個人用控え）

大まかな流れ

原稿（prog.c）
↓前処理（前処理機; cpp(1)）マクロ・ファイルなどを展開
前処理済みの原稿（prog.i）
| ↓中間言語
| 中間言語による原稿
@cmplstofB
cmplstofB / uca.xml
Last active December 8, 2018 13:40
Thunarの設定（≈1.6.x）（~/.config/Thunar/uca.xmlなどに保存）
<?xml version="1.0" encoding="UTF-8"?>
<actions>
<action>
<icon>utilities-terminal</icon>
<name>Open Terminal Emulator</name>
<name xml:lang="ja">端末エミュレータを開く</name>
<command>exo-open --working-directory %f --launch TerminalEmulator</command>
<description>Open terminal emulator which working directory is here.</description>
<description xml:lang="ja">ここを作業ディレクトリとして端末エミュレータを起動します。</description>
<patterns>*</patterns>
@cmplstofB
cmplstofB / se.tsv
Last active February 5, 2019 17:35
Search Engines for Web Browser
入力欄に表示する語句 キーワード URL（`%s`は入力語句が代入される） 備考
Google検索 g https://www.google.com/search?&q=%s&safe=off&pws=0&hl=ja&client=firefox-b -
Unicode情報 U+ https://unicode.org/cldr/utility/character.jsp?a=%s -
YouTube検索（生配信） y.l https://www.youtube.com/results?search_query=%s&sp=EgJAAQ%253D%253D -
@cmplstofB
cmplstofB / preferences.d%2Fjessie.pref
Created June 12, 2019 00:32
Debian sidのパッケージ設定
Package: *
Pin: release n=jessie*
Pin-Priority: 100
@cmplstofB
cmplstofB / Xresources
Last active July 11, 2019 20:28
Xresources関連
#include "./Xresources.d/campbell.xresource"
!!! RXVT
!! 操作
URxvt.perl-ext-common: default,matcher
URxvt.url-launcher: /usr/bin/xdg-open
URxvt.matcher.button: 1
URxvt.matcher.rend: Uline
! 行
URxvt.saveLines: 4096
@cmplstofB
cmplstofB / input.conf
Created July 23, 2019 09:39
MPVの設定
# <https://support.google.com/youtube/answer/7631406?hl=ja&ref_topic=3014328>
SPACE cycle pause
#PLAY
PAUSE cycle pause
k cycle pause
STOP stop
REWIND playlist-next
LEFT seek -5
RIGHT seek 5
@cmplstofB
cmplstofB / keymap%2F_.xkb
Created June 12, 2019 00:39
XKB設定
xkb_keymap {
xkb_keycodes { include "evdev+aliases(qwerty)" };
xkb_types { include "complete" };
xkb_compat { include "complete+japan" };
xkb_symbols {
include "pc+jp+inet(evdev)"
include "capslock(escape)"
include "_"
};
xkb_geometry { include "pc(pc105)" };