A programming system based on QJ:
Abstract: "This paper presents a programming environment which is based on a constructive logic, QJ. This programming environment provides uniformity to work on problem solving, document preparation, and automatic coding. Simple programming developments are presented to demonstrate the mathemat...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1988
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
417 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This paper presents a programming environment which is based on a constructive logic, QJ. This programming environment provides uniformity to work on problem solving, document preparation, and automatic coding. Simple programming developments are presented to demonstrate the mathematical programming in the environment. The programming logic behind the system and the automatic coding algorithm based on q-realisability are given. Finally, techniques to improve the efficiency of the program are investigated." |
| Beschreibung: | 45 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010946529 | ||
| 003 | DE-604 | ||
| 005 | 19970310 | ||
| 007 | t | ||
| 008 | 960912s1988 |||| 00||| engod | ||
| 035 | |a (OCoLC)20839400 | ||
| 035 | |a (DE-599)BVBBV010946529 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 332f |2 stub | ||
| 100 | 1 | |a Takayama, Yukihide |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A programming system based on QJ |c Y. Takayama |
| 264 | 1 | |a Tokyo, Japan |c 1988 | |
| 300 | |a 45 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 417 | |
| 520 | 3 | |a Abstract: "This paper presents a programming environment which is based on a constructive logic, QJ. This programming environment provides uniformity to work on problem solving, document preparation, and automatic coding. Simple programming developments are presented to demonstrate the mathematical programming in the environment. The programming logic behind the system and the automatic coding algorithm based on q-realisability are given. Finally, techniques to improve the efficiency of the program are investigated." | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 4 | |a Logic programming | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 417 |w (DE-604)BV010923438 |9 417 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007320824 | ||
Datensatz im Suchindex
| _version_ | 1804125433052004352 |
|---|---|
| any_adam_object | |
| author | Takayama, Yukihide |
| author_facet | Takayama, Yukihide |
| author_role | aut |
| author_sort | Takayama, Yukihide |
| author_variant | y t yt |
| building | Verbundindex |
| bvnumber | BV010946529 |
| classification_tum | DAT 332f |
| ctrlnum | (OCoLC)20839400 (DE-599)BVBBV010946529 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01500nam a2200313 cb4500</leader><controlfield tag="001">BV010946529</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970310 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960912s1988 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20839400</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010946529</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 332f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Takayama, Yukihide</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A programming system based on QJ</subfield><subfield code="c">Y. Takayama</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">45 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">417</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper presents a programming environment which is based on a constructive logic, QJ. This programming environment provides uniformity to work on problem solving, document preparation, and automatic coding. Simple programming developments are presented to demonstrate the mathematical programming in the environment. The programming logic behind the system and the automatic coding algorithm based on q-realisability are given. Finally, techniques to improve the efficiency of the program are investigated."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">417</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">417</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007320824</subfield></datafield></record></collection> |
| id | DE-604.BV010946529 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:29Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007320824 |
| oclc_num | 20839400 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 45 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spelling | Takayama, Yukihide Verfasser aut A programming system based on QJ Y. Takayama Tokyo, Japan 1988 45 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 417 Abstract: "This paper presents a programming environment which is based on a constructive logic, QJ. This programming environment provides uniformity to work on problem solving, document preparation, and automatic coding. Simple programming developments are presented to demonstrate the mathematical programming in the environment. The programming logic behind the system and the automatic coding algorithm based on q-realisability are given. Finally, techniques to improve the efficiency of the program are investigated." Constructive mathematics Logic programming Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 417 (DE-604)BV010923438 417 |
| spellingShingle | Takayama, Yukihide A programming system based on QJ Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Constructive mathematics Logic programming |
| title | A programming system based on QJ |
| title_auth | A programming system based on QJ |
| title_exact_search | A programming system based on QJ |
| title_full | A programming system based on QJ Y. Takayama |
| title_fullStr | A programming system based on QJ Y. Takayama |
| title_full_unstemmed | A programming system based on QJ Y. Takayama |
| title_short | A programming system based on QJ |
| title_sort | a programming system based on qj |
| topic | Constructive mathematics Logic programming |
| topic_facet | Constructive mathematics Logic programming |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT takayamayukihide aprogrammingsystembasedonqj |