情報学(学問)
情報学(学問)は情報の管理、蓄積等の扱いの理論から実践までを広く含んだ研究分野.アルゴリズム、コンピュータ、人工知能等広く生活に関連する分野までもを含んでいる.
2017.9.2
-
117Views
-
0Watch
-
3Knows
|
|
情報学(学問)の新規投稿
ライスの定理
「プログラムAがある性質Fを持つかどうかが自明でないときそれを判定できるプログラムは存在しない」ことを示す定理.このライスの定理はチューリングマシンの停止性問題を一般化したものになっている.
PV 173
Fav 0
2018.12.02
チューリングマシンの停止性問題
停止性問題は、任意のプログラムが任意の入力が与えられて停止するかどうかを判定するプログラムは存在するかに関する問題.存在しないことが背理法によって示すことが可能.
PV 631
Fav 0
2018.12.02
線分交叉判定
複数の線分を与えられたときにそれらの中に一つでも交差(交叉)しているものがあるかないかを効率よく確認し真偽を返す.平面走査法によって実現することができ、計算時間はO(nlog(n))となる.
PV 163
Fav 0
2018.08.07
情報学(学問)人気知識・質問
チューリングマシンの停止性問題
停止性問題は、任意のプログラムが任意の入力が与えられて停止するかどうかを判定するプログラムは存在するかに関する問題.存在しないことが背理法によって示すことが可能.
PV 631
Fav 0
2018.12.02
ライスの定理
「プログラムAがある性質Fを持つかどうかが自明でないときそれを判定できるプログラムは存在しない」ことを示す定理.このライスの定理はチューリングマシンの停止性問題を一般化したものになっている.
PV 173
Fav 0
2018.12.02
線分交叉判定
複数の線分を与えられたときにそれらの中に一つでも交差(交叉)しているものがあるかないかを効率よく確認し真偽を返す.平面走査法によって実現することができ、計算時間はO(nlog(n))となる.
PV 163
Fav 0
2018.08.07