Stack Exchange

nekketsuuu

Japan

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

top accounts reputation activity favorites subscriptions
Top Questions
21 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

12 votes

Disable Twitter/GitHub links for low-rep users

feature-request reputation profile-page new-users spam asked May 24 at 15:14
meta.stackexchange.com

10 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

8 votes

grepで[こ]んな感じに1文字だけ角括弧で囲う意味は何ですか？

shellscript grep asked May 30 at 23:35
ja.stackoverflow.com

7 votes

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

javascript html css アルゴリズム browser asked Jan 22 at 12:51
ja.stackoverflow.com

7 votes

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

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

7 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

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
jupyter notebook inline plots as svg
stackoverflow.com

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

10
grepで[こ]んな感じに1文字だけ角括弧で囲う意味は何ですか？
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
sympyのsolveで答えに出てくる'e'と'I'って何なのでしょうか？
ja.stackoverflow.com

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

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

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

7
共有渡しは一般的な用語ですか？
ja.stackoverflow.com

7
Linux で疎通確認のためポートに応答するサーバーをたてるコマンド
ja.stackoverflow.com

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

6
Git の 3-way merge とは具体的にどのようなアルゴリズムですか？
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
pip installコマンドが.netrcファイルを参照する理由
ja.stackoverflow.com

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

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

5
PythonでAttributeError:
ja.stackoverflow.com

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

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

1 2