Examples from the live prax 16 March - Redigeerimiste ajalugu

Tammet – 16. märts 2022, kell 13:36

2022-03-16T13:36:36Z

←Vanem redaktsioon		Redaktsioon: 16. märts 2022, kell 15:36
115. rida:		115. rida:
	NB! Kui küsimus peaks tegelikult lahenduma, aga sa ei leia lahendust, siis proovi kindlasti käivitada ka ilma strateegiata, a la		NB! Kui küsimus peaks tegelikult lahenduma, aga sa ei leia lahendust, siis proovi kindlasti käivitada ka ilma strateegiata, a la
	<pre>		<pre>
	./gkc geodata.js prove.js ~~-json~~		./gkc geodata.js prove.js
	</pre>		</pre>

	Selle peale proovib gkc ise läbi hästi suure hulga tõenäoliselt mõistlikke strateegiaid, andes neile algul väga vähe aega ja kasvatades mõne aja pärast ajapiiri iteratiivselt üha suuremaks ja suuremaks.		Selle peale proovib gkc ise läbi hästi suure hulga tõenäoliselt mõistlikke strateegiaid, andes neile algul väga vähe aega ja kasvatades mõne aja pärast ajapiiri iteratiivselt üha suuremaks ja suuremaks.
	Niimoodi võib ta sattuda palju sobivama strateegia peale, kui see, mis sul strategy.js failis öeldud.		Niimoodi võib ta sattuda palju sobivama strateegia peale, kui see, mis sul strategy.js failis öeldud.

Tammet – 16. märts 2022, kell 13:36

2022-03-16T13:36:12Z

←Vanem redaktsioon		Redaktsioon: 16. märts 2022, kell 15:36
112. rida:		112. rida:
	}		}
	</pre>		</pre>

			NB! Kui küsimus peaks tegelikult lahenduma, aga sa ei leia lahendust, siis proovi kindlasti käivitada ka ilma strateegiata, a la
			<pre>
			./gkc geodata.js prove.js -json
			</pre>

			Selle peale proovib gkc ise läbi hästi suure hulga tõenäoliselt mõistlikke strateegiaid, andes neile algul väga vähe aega ja kasvatades mõne aja pärast ajapiiri iteratiivselt üha suuremaks ja suuremaks.
			Niimoodi võib ta sattuda palju sobivama strateegia peale, kui see, mis sul strategy.js failis öeldud.

Tammet – 16. märts 2022, kell 12:39

2022-03-16T12:39:41Z

←Vanem redaktsioon		Redaktsioon: 16. märts 2022, kell 14:39
78. rida:		78. rida:
	Uue sqlite-ga peaks saama teha ka a la nii:		Uue sqlite-ga peaks saama teha ka a la nii:
	<pre>		<pre>
	select json_array('$arc', object, property, value) from estonia limit 10;		select json_array('\$arc', object, property, value) from estonia limit 10;
	</pre>		</pre>

Tammet – 16. märts 2022, kell 12:37

2022-03-16T12:37:52Z

←Vanem redaktsioon		Redaktsioon: 16. märts 2022, kell 14:37
74. rida:		74. rida:
	main()		main()

			</pre>

			Uue sqlite-ga peaks saama teha ka a la nii:
			<pre>
			select json_array('$arc', object, property, value) from estonia limit 10;
	</pre>		</pre>

Tammet – 16. märts 2022, kell 12:35

2022-03-16T12:35:58Z

←Vanem redaktsioon		Redaktsioon: 16. märts 2022, kell 14:35
36. rida:		36. rida:


	geoexport.py, mis teeb jsonit:		geoexport.py, mis teeb jsonit (saada väljatrükk näiteks faili geodata.js):

	<pre>		<pre>
76. rida:		76. rida:
	</pre>		</pre>

	Mikro-ülesanne:		Mikro-ülesanne prove1.js:
	<pre>		<pre>

Tammet – 16. märts 2022, kell 12:32

2022-03-16T12:32:02Z

←Vanem redaktsioon		Redaktsioon: 16. märts 2022, kell 14:32
75. rida:		75. rida:

	</pre>		</pre>

			Mikro-ülesanne:
			<pre>

			// ./gkc geodata.js prove.js -json -print 12 -strategy strategy.js -parallel 0
			[
			//X,hasCapital,Y -> X,type,region
			//{"@role": "assumption", "@logic": [["$arc", "?:X", "<hasCapital>", "?:Y"],"=>",["$arc", "?:X", "hasProperty", "region"]]},

			[["$arc", "?:X", "<hasCapital>", "?:Y"],"=>",["$arc", "?:X", "hasProperty", "region"]],

			{"@question": ["$arc", "?:X", "hasProperty", "region"]}
			//[["$arc", "?:X", "hasProperty", "region"],"=>",["$ans","?:X"]]

			]
			</pre>


	Näiteks kuidas käivitada (ei pea andma -strategy ja -parallel):		Näiteks kuidas käivitada (ei pea andma -strategy ja -parallel):

Tammet – 16. märts 2022, kell 12:31

2022-03-16T12:31:03Z

@@ 1. rida: / 1. rida: @@
 <pre>
 #!/usr/bin/env python3
@@ 32. rida: / 32. rida: @@
      print(pred,stats[pred])
 </pre>
 Näiteks kuidas käivitada (ei pea andma -strategy ja -parallel):
@@ 48. rida: / 90. rida: @@
+}
 </pre>

Tammet – 16. märts 2022, kell 12:28

2022-03-16T12:28:33Z

←Vanem redaktsioon		Redaktsioon: 16. märts 2022, kell 14:28
33. rida:		33. rida:

	</pre>		</pre>

			Näiteks kuidas käivitada (ei pea andma -strategy ja -parallel):
			<pre>
			./gkc geodata.js prove1.js -strategy strategy.js -parallel 0
			</pre>

			näitestrateegia strategy.js, mida eelmine käsurida kasutab:
			<pre>
			{
			"max_seconds":10,
			"strategy":["query_focus","positive_pref"],
			"query_preference":1,
			"max_answers":3
			}
			</pre>

	main()		main()

Tammet: Uus lehekülg: '

 # geoexport.py  #!/usr/bin/env python3  import sys import json import sqlite3  #: loodenurk 59.730786, 21.734843 #: kagunurk 57.319992, 28.744707 # latitude on 57, pohjas s...'

2022-03-16T12:11:33Z

Uus lehekülg: '<pre> # geoexport.py #!/usr/bin/env python3 import sys import json import sqlite3 #: loodenurk 59.730786, 21.734843 #: kagunurk 57.319992, 28.744707 # latitude on 57, pohjas s...'

Uus lehekülg

<pre>
# geoexport.py

#!/usr/bin/env python3

import sys
import json
import sqlite3

#: loodenurk 59.730786, 21.734843
#: kagunurk 57.319992, 28.744707
# latitude on 57, pohjas suur, lounas vaike
# longitude on 21, laanes vaike, idas suur

def main():

# vota yhendust: kui baasi pole, see tehakse
conn = sqlite3.connect("estgeodata2")
cur = conn.cursor()
#sql_query = "select distinct object from rdf"
sql_query = "select * from rdf"
cur.execute(sql_query)
rows = cur.fetchall()
stats={}
for row in rows:
pred=row[2]
if pred in stats:
stats[pred]=stats[pred]+1
else:
stats[pred]=1
for pred in stats:
print(pred,stats[pred])

</pre>

main()