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 '18 at 7:00
meta.stackexchange.com

15 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

14 votes

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

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

9 votes

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

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

8 votes

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

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

6 votes

DOMが書き換わった後ブラウザはどのように再描画していますか？

javascript html css アルゴリズム browser asked Jan 22 at 12:51
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 '18 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 のプログラムを実行可能バイナリにコンパイルするには？
ja.stackoverflow.com

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

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

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

9
GitHubで第三者が気軽にIssue登録しても大丈夫ですか？
ja.stackoverflow.com

8
“git checkout .” とは
ja.stackoverflow.com

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

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

7
PATH とは何ですか？
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
jupyter notebook inline plots as svg
stackoverflow.com

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

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

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

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

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

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

6
Gitとは何ですか？
ja.stackoverflow.com

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

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

5
PythonでAttributeError:
ja.stackoverflow.com

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

5
yieldとreturnを併用したい
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

1 2