Skip to content

Instantly share code, notes, and snippets.

View gfngfn's full-sized avatar

Takashi Suwa gfngfn

371 followers · 321 following
View GitHub Profile
@zr-tex8r
zr-tex8r / bibnabeazz.bst
Created November 17, 2012 05:48
A program to solve the NabeAzz problem written in BibTeX
ENTRY
{ start end number style }
{}
{}
INTEGERS
{ a k l x y z xx yy p q
pa pc pp zero phase gstart gend
}
STRINGS
@zr-tex8r
zr-tex8r / pxghost.sty
Created January 5, 2013 11:12
LaTeX: ghost insertion
% pxghost.sty
%% package declaration
\NeedsTeXFormat{pLaTeX2e}
\ProvidesPackage{pxghost}
%% preparations
\def\pxqgg@pkgname{pxghost}
%---------------------------------------
% use an arbitrary font available in T1 encoding
\font\pxqgg@TI=ec-lmr10 at 1.23456pt
\chardef\pxqgg@cwm=23 % compwordmark (in T1)
@macintux
macintux / erlang-resources.md
Last active October 7, 2023 06:49
Erlang online resources
@k16shikano
k16shikano / nidan.tex
Last active December 30, 2015 20:29
replace tokens
%%% replace all tokens;
%%% space -> +, leftbrace -> (, rightbrace -> ), others -> *,
%%% provided that the argument doesn' have ! and \end.
\def\length#1{\spaces{#1!}\notspaces{#1!}}
\def\notspaces#1{\beforegroup#1\iffalse{}\fi}
\def\beforegroup#1#{\recur#1!\futurelength}
\def\recur#1{%
\ifx!#1\else*\expandafter\recur\fi}
@sile
sile / 0_raft.md
Last active May 27, 2024 07:53
Raft(分散合意アルゴリズム)について
@uupaa
uupaa / MP4Box.md
Last active May 19, 2022 08:05
MP4Box install, setting and usage in Mac.

MP4Box は mp4 ファイルの結合や Mux ができます。

セットアップ

GPAC Nightly Buildsから最新版をダウンロードし、 dmg を実行して、適当な場所(例: /Application)にコピーします。

MP4Box を PATH に追加するか、Osmo4.app/Contents/MacOS/MP4Box コマンドへのエリアスを追加します。




  


  




    


          
    

      

        
        

          

              @hashrock
          

          

            
                hashrock
                / diag.md
            
            

              Last active
              February 26, 2024 05:51
            

              
                作図系ツール・ライブラリまとめ
              
          

        

      

        

  

      

    
シーケンス図とかフローチャートをしごとで描画することになった場合、
テキストから生成できたら楽なので、それ系のツールまとめ


GraphViz


http://www.graphviz.org/


    

  • C製
    • 

  • Doxygen, Moinmoinなどと連携可能
    • 

  • ブロック図、クラス図、ネットワーク図など
    • 




  


  




    


          
    

      

        
        

          

              @leque
          

          

            
                leque
                / rtt.ml
            
            

              Created
              February 24, 2016 13:40
            

          

        

      

        

  

    
    


        



  


  

        

          
          (* See also: http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec238 *)
        

        

          
          

        

        

          
          type _ typ =
        

        

          
            | Unit : unit typ
        

        

          
            | Int : int typ
        

        

          
            | Float : float typ
        

        

          
            | String : string typ
        

        

          
            | Pair : ('a typ * 'b typ) -> ('a * 'b) typ
        

        

          
            | List : 'a typ -> 'a list typ
        

  





    


  




    


          
    

      

        
        

          

              @emkjp
          

          

            
                emkjp
                / keyhac 設定
            
            

              Last active
              September 4, 2017 14:50
            

          

        

      

        

  

    
    


        



  


  

        

          
          # -*- mode: python; coding: utf-8-with-signature-dos -*-
        

        

          
          

        

        

          
          ##
        

        

          
          ## Windows の操作を emacs のキーバインドで行うための設定（Keyhac版）ver.20160106_01
        

        

          
          ##
        

        

          
          

        

        

          
          # このスクリプトは、Keyhac for Windows ver 1.70 以降で動作します。
        

        

          
          #   https://sites.google.com/site/craftware/keyhac-ja
        

        

          
          # スクリプトですので、使いやすいようにカスタマイズしてご利用ください。
        

        

          
          #
        

  





    


  




    


          
    

      

        
        

          

              @qnighy
          

          

            
                qnighy
                / group_description.v
            
            

              Created
              April 2, 2016 02:35
            

              
                https://twitter.com/bd_gfngfn/status/716086088549294080
              
          

        

      

        

  

    
    


        



  


  

        

          
          Require Import Coq.Logic.Description.
        

        

          
          

        

        

          
          Parameter G : Type.
        

        

          
          Parameter mult : G -> G -> G.
        

        

          
          Axiom ax :
        

        

          
            (forall x y z, mult x (mult y z) = mult (mult x y) z) /\
        

        

          
            (exists e, forall x,
        

        

          
              mult e x = x /\ x = mult x e /\
        

        

          
              exists i, mult x i = e /\ e = mult i x).