シーケンス図とかフローチャートをしごとで描画することになった場合、 テキストから生成できたら楽なので、それ系のツールまとめ
- C製
- Doxygen, Moinmoinなどと連携可能
- ブロック図、クラス図、ネットワーク図など
| 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. |
| %% bxamstext.sty | |
| %% package declaration | |
| \NeedsTeXFormat{LaTeX2e} | |
| \ProvidesPackage{bxamstext}[2015/12/19 v0.2] | |
| %% preparation | |
| \def\bxtt@pkgname{bxamstext} | |
| %% load packages |
| %% 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. |
シーケンス図とかフローチャートをしごとで描画することになった場合、 テキストから生成できたら楽なので、それ系のツールまとめ
| 更新: | 2024-05-20 |
|---|---|
| 作者: | @voluntas |
| バージョン: | 2024.1 |
| URL: | https://voluntas.github.io/ |
| #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
| 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.
| ======================================================================== | |
| CONSOLE APPLICATION : ConsoleApplication1 Project Overview | |
| ======================================================================== | |
| AppWizard has created this ConsoleApplication1 application for you. | |
| This file contains a summary of what you will find in each of the files that | |
| make up your ConsoleApplication1 application. | |