トップページ
>
プログラム
>
2017年02月15日
>
w0SHr4I6
書き込み順位&時間帯一覧
16 位
/246 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
1
1
0
0
0
0
1
0
0
4
使用した名前一覧
書き込んだスレッド一覧
デフォルトの名無しさん
【Lua】組み込み系言語総合 その7【Squirrel】 [無断転載禁止]©2ch.net
次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 第二世代 [無断転載禁止]©2ch.net
スレ立てるまでもない質問はここで 145匹目©2ch.net
書き込みレス一覧
【Lua】組み込み系言語総合 その7【Squirrel】 [無断転載禁止]©2ch.net
155 :
デフォルトの名無しさん
[sage]:2017/02/15(水) 09:24:27.53 ID:w0SHr4I6
windowsでファイルを開きたいんだけど、
ファイル名の文字コードはS-JIS以外受け付けないんですか?
もしそうなら海外のソフトはファイルを開くのにutf8以外受け付けないんで、
海外のソフトでファイルを開くとsjis文字はutf8に勝手に変換されて
そのファイル名を使ってファイルを開くにはutf8をsjisに
変換するしかないですね。
【Lua】組み込み系言語総合 その7【Squirrel】 [無断転載禁止]©2ch.net
159 :
デフォルトの名無しさん
[sage]:2017/02/15(水) 15:13:56.13 ID:w0SHr4I6
変換しようとしてlua-iconvっていうのをmsys2でコンパイルしてmp
vと同じフォルダーに置いたけどクラッシュしました。
次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 第二世代 [無断転載禁止]©2ch.net
230 :
デフォルトの名無しさん
[sage]:2017/02/15(水) 16:09:53.66 ID:w0SHr4I6
論理型言語の命題とは型で証明は関数なんだよな。
だからprologは関数型言語なんだよな。
一階述語論理は自動証明できるからそれを利用したのがprologなんだよな。
つまり型を指定すると自動でプログラムを作ってくれる関数型言語が
prologなんだよな。
スレ立てるまでもない質問はここで 145匹目©2ch.net
646 :
デフォルトの名無しさん
[sage]:2017/02/15(水) 21:35:05.38 ID:w0SHr4I6
http://ejje.weblio.jp/
上に記したホームページの小窓モードというところをクリックして
出てくる小窓を直接開きたいです。
ブラウザはgoogleのchromeです。
よろしくお願いします。
※このページは、
『2ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。