4. current community

    your communities

    more stack exchange communities

    company blog

Stack Exchange

nekketsuuu

Japan

Formal methods / Type theory / OCaml / Go / C++

top accounts reputation activity favorites subscriptions
Top Questions
20 votes

Who is the most responsible for the new Code of Conduct?

support code-of-conduct asked Oct 4 at 7:00
meta.stackexchange.com

14 votes

What is the origin of λ for empty string?

formal-languages automata reference-request notation history asked Oct 19 '16 at 5:24
cs.stackexchange.com

11 votes

Python のプログラムを実行可能バイナリにコンパイルするには？

python python3 compiler asked Mar 23 at 4:32
ja.stackoverflow.com

9 votes

自分で書いた LaTeX コードが “良い” 書き方をしているのか確認する方法はある？

latex asked Jan 25 at 13:02
ja.stackoverflow.com

8 votes

シェルスクリプトの先頭にバックスラッシュをつけているのは何故？

shellscript asked Apr 19 at 18:58
ja.stackoverflow.com

6 votes

ディレクトリのタイムスタンプが更新されるのはどんなとき？

unix filesystems posix asked Nov 26 at 12:45
ja.stackoverflow.com

6 votes

AWK with BOM: Is there any cool way to handle Unicode BOM with regexp?

awk regular-expression unicode asked Jan 20 '17 at 9:56
unix.stackexchange.com

6 votes

How to directly compute the inverse of an ill-conditioned dense matrix

reference-request preconditioning condition-number inverse asked Mar 21 at 7:01
scicomp.stackexchange.com

6 votes

What is the pronunciation of O with macron and breve?

pronunciation diacritics asked Sep 23 '16 at 15:44
latin.stackexchange.com

6 votes

1文字ハイフンが特別な意味を持つシェルコマンドの例を教えて下さい

shellscript unix asked Jan 25 '17 at 2:33
ja.stackoverflow.com

1 2

Top Answers
13
Why must a Turing Machine that Repeats the Same Configuration Twice be in an Infinite Loop?
cs.stackexchange.com

12
Python の A, B = B, A とはなに？
ja.stackoverflow.com

11
XXXenv の初期化時のeval “$(XXXenv init-)”の意味
ja.stackoverflow.com

11
grepコマンドでのファイル指定について
ja.stackoverflow.com

9
Python のプログラムを実行可能バイナリにコンパイルするには？
ja.stackoverflow.com

8
シェルスクリプトの先頭にバックスラッシュをつけているのは何故？
ja.stackoverflow.com

7
Anacondaに同梱されてないライブラリを入れるには？
ja.stackoverflow.com

7
sympyのsolveで答えに出てくる'e'と'I'って何なのでしょうか？
ja.stackoverflow.com

7
printf に指定する、パーセント記号を含んだ「%-8s%3d%5.1f」のような文字列の意味
ja.stackoverflow.com

7
How to fix “InvalidAlgorithmParameterException: the trustAnchors parameter must be non-empty” in scala's build tool (sbt)?
stackoverflow.com

7
PATH とは何ですか？
ja.stackoverflow.com

6
不正なバイト文字をcurlなどでpostする方法
ja.stackoverflow.com

6
pythonのprintで日本語の出力がデフォルトで出来ない。
ja.stackoverflow.com

6
c++のwhile文が無限ループしてしまう
ja.stackoverflow.com

6
git commit -m “hogehoge” とした後で、editor を開かない方法が知りたい
ja.stackoverflow.com

6
Windows10 で、 unix でいう sudo がやりたい
ja.stackoverflow.com

6
静的型付と動的型付のメモリの動きを理解したい。
ja.stackoverflow.com

6
pip installコマンドが.netrcファイルを参照する理由
ja.stackoverflow.com

5
Go言語で１つのリポジトリで複数のバイナリファイルをビルドする方法
ja.stackoverflow.com

5
pyton3.6で input()がエラーになります。
ja.stackoverflow.com

5
PythonでAttributeError:
ja.stackoverflow.com

5
npm package-lock.json がなぜ必要なのかがわからない
ja.stackoverflow.com

5
pythonのリストの中身はどういった物？
ja.stackoverflow.com

5
FPGAとGPUの処理速度においてどちらが優れていますか？
ja.stackoverflow.com

5
真偽と文字列の違いについて
ja.stackoverflow.com

5
正規表現[-]?の[]の意味
ja.stackoverflow.com

5
クラスの関数で、self 以外の変数が何なのか分からない
ja.stackoverflow.com

5
AIZU ONLINE JUDGEの0009で何回やってもTime Limit Exceedと表示されます。
ja.stackoverflow.com

5
python3 multiprocessing Processでプロセスが平行で動いてくれません
ja.stackoverflow.com

5
Numpyで、要素数の総和がNとなる制約の下、n次元のランダムベクトルを生成したい。
ja.stackoverflow.com

1 2