- /var/log/wtmp
- /var/log/btmp
- /var/log/faillog
- /var/log/lastlog
- /var/log/tallylog
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Require Import Relations. | |
Section Lecture. | |
Variable A : Set. | |
Variable R : relation A. | |
Hypothesis Hrefl : reflexive _ R. | |
Hypothesis H : forall x y z, R x y -> R x z -> R y z. | |
Hint Unfold reflexive symmetric transitive. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
%% bxamstext.sty | |
%% package declaration | |
\NeedsTeXFormat{LaTeX2e} | |
\ProvidesPackage{bxamstext}[2015/12/19 v0.2] | |
%% preparation | |
\def\bxtt@pkgname{bxamstext} | |
%% load packages |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
%% This is file `dvipdfmx.def' for DVIPDFMx by J.-H. Cho and S. Hirata | |
%% based upon `dvipdf.def' in the LaTeX `Graphics Bundle'. | |
%% | |
%% Copyright 2005-2015 Jin-Hwan Cho, Shunsaku Hirata | |
%% (with contributions from many others) | |
%% | |
%% This file is not part of the Standard LaTeX `Graphics Bundle'. | |
%% It may be distributed under the terms of the LaTeX Project Public | |
%% License, as described in lppl.txt in the base LaTeX distribution. | |
%% Either version 1.0 or, at your option, any later version. |
シーケンス図とかフローチャートをしごとで描画することになった場合、 テキストから生成できたら楽なので、それ系のツールまとめ
- C製
- Doxygen, Moinmoinなどと連携可能
- ブロック図、クラス図、ネットワーク図など
更新: | 2024-05-20 |
---|---|
作者: | @voluntas |
バージョン: | 2024.1 |
URL: | https://voluntas.github.io/ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <cstdio> | |
#include <cmath> | |
#include <emmintrin.h> | |
#define _mm_set1_pd(x) _mm_set_pd((x), (x)) | |
// Probably somewhat faster. | |
inline __m128d fastexp(__m128d v) | |
{ | |
const __m128d inv_log2 = _mm_set1_pd(1.4426950408889634073599); |
Mac
echo "export HOMEBREW_CASK_OPTS="--appdir=/Applications"" >> .bash_profile
echo "export HOMEBREW_CASK_OPTS="--appdir=/Applications"" >> .zprofile
xcode-select --install
ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
brew tap phinze/cask
brew install brew-cask
brew cask install atom
apm install atom-lint
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
def color(text, **user_styles): | |
styles = { | |
# styles | |
'reset': '\033[0m', | |
'bold': '\033[01m', | |
'disabled': '\033[02m', | |
'underline': '\033[04m', | |
'reverse': '\033[07m', |
This is a guide on how to email securely.
There are many guides on how to install and use PGP to encrypt email. This is not one of them. This is a guide on secure communication using email with PGP encryption. If you are not familiar with PGP, please read another guide first. If you are comfortable using PGP to encrypt and decrypt emails, this guide will raise your security to the next level.