Line 3: |
Line 3: |
| ---- | | ---- |
| | | |
− | ==Readings== | + | ==Opportunities for Collaboration== |
| + | |
| + | ===Theme One Program : Re-En-Visionary Programming Project=== |
| + | |
| + | * Project Page : [[Theme One Program]] |
| + | |
| + | * If anybody is looking for a programming project, I will post here some data on the '''Theme One Program''' that I worked on all through the 1980's. The aim was to develop fundamental algorithms and data structures to support an integrated learning and reasoning interface. I wrote up a pilot version of the program well enough to get a Master's degree out of it, but still haven't gotten around to writing up the complete documentation. Below are some links to what I've put on the web so far. |
| + | |
| + | ====TOP. Theme One Program : Source Code==== |
| + | |
| + | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#117 |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000117.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000118.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000119.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000120.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000121.html |
| + | |
| + | * Turbo Pascal Source Code : http://www.iki.fi/~kartturi/Awbrey/Theme1Prog/Assembly/Theme1.pas |
| + | |
| + | ====TOP. Theme One Program : User Manual and Guide==== |
| + | |
| + | * Initial Manual : http://www.iki.fi/~kartturi/Awbrey/Theme1Prog/Assembly/Theme1Manual.doc |
| + | * Expanded Guide : http://www.iki.fi/~kartturi/Awbrey/Theme1Prog/Theme1Guide.doc |
| + | |
| + | ====TOP. Theme One Program : Motivation==== |
| + | |
| + | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#143 |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000143.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000183.html |
| + | |
| + | ====TOP. Theme One Program : Commentary (2003)==== |
| + | |
| + | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#122 |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000122.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000123.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000124.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000125.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000144.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000145.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000146.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000147.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000148.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000149.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000150.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000151.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000152.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000153.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000154.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000155.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000156.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000157.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000158.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000159.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000160.html -- Fore |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000162.html -- Graft |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000163.html -- Pinch |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000164.html -- Switch |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000165.html -- Stitch |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000166.html -- Splice |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000167.html -- List |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000168.html -- Roll |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000169.html -- Image |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000170.html -- Token |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000171.html -- Tally |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000172.html -- Gist |
| + | |
| + | ====TOP. Theme One Program : Exposition (2003)==== |
| + | |
| + | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#102 |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000102.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000103.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000104.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000105.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000106.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000107.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000108.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000109.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000110.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000111.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000112.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000113.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000114.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000115.html |
| + | # http://stderr.org/pipermail/inquiry/2003-March/000116.html |
| + | |
| + | ====TOP. Theme One Program : Commentary (2005)==== |
| + | |
| + | * http://stderr.org/pipermail/inquiry/2005-January/thread.html#2268 |
| + | * http://stderr.org/pipermail/inquiry/2005-February/thread.html#2334 |
| + | |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002268.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002269.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002270.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002271.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002272.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002273.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002274.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002275.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002276.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002277.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002278.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002279.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002281.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002282.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002283.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002284.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002285.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002286.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002287.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002312.html |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002289.html -- Fore |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002290.html -- Graft |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002291.html -- Pinch |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002292.html -- Switch |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002293.html -- Stitch |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002294.html -- Splice |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002295.html -- List |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002296.html -- Roll |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002297.html -- Image |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002298.html -- Token |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002299.html -- Tally |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002300.html -- Gist |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002304.html -- Gage |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002305.html -- Find |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002306.html -- Suit |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002307.html -- Coup |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002308.html -- Stem |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002309.html -- Sequel |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002310.html -- Coupon |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002313.html -- Gate |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002314.html -- Knap |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002315.html -- Knot |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002316.html -- Respect |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002317.html -- Suspect |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002318.html -- Aspect |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002319.html -- Apse |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002324.html -- Sape |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002325.html -- Pase |
| + | # http://stderr.org/pipermail/inquiry/2005-January/002326.html -- Apes |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002334.html -- Apes |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002335.html -- Like |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002336.html -- Axil |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002337.html -- Grasp |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002338.html -- Fret |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002339.html -- Deal |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002340.html -- Lode |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002341.html -- Lade |
| + | # http://stderr.org/pipermail/inquiry/2005-February/002342.html -- Lead |