Search results for "LISP" | NDL Search

Search results 157

Group by title

一般次元部分群問題について

Paper図書

林, 誠, 愛知教育大学2000-2002<Y151-H12640021>

National Diet Library

Subject Heading整群環 nilpotency indices Lisp Witt algebra Seminovmal semig...

船舶流体力学専用パーソナル数式処理システムの開発

Paper図書

松村, 清重, 大阪大学1994-1995<Y151-H06555297>

National Diet Library

Subject Heading数式処理システム解析支援システム muMATH muSIMP LISP アルゴリズム

適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究

Paper図書

渡部卓雄, 東京工業大学, 国立情報学研究所 [著][渡部卓雄]2003-2004<Y151-H15500028>

National Diet Library

Subject Headingポリシー強制 / バイトコード変換 / プロセス代数 / 自己検査コード / 実行時検査 / 適応的ソフトウェア / Java / Common-Lisp

LISPによるCAIシステムの機能向上と移植性を高める研究

Paper図書

最首, 和雄, 明星大学1992-1994<Y151-H04558037>

National Diet Library

Subject HeadingCAI 数式照合数学教育大学教育 LISPによるCAI

メタ計算系における型導入によるプログラム変形導出

Paper図書

井田, 哲雄, 筑波大学1987-1988<Y151-S62580030>

National Diet Library

Subject Headingメタプログラミングデータ型 LISP プログラム変換

ガラス材料設計支援エキスパートシステムの高精度化と拡充に関する研究

Paper図書

牧島, 亮男, 東京大学1992-1994<Y151-H04453065>

National Diet Library

Subject Headingガラス材料設計エキスパートシステムワークステーシヨン KBMS LISP AI ハライドガラス酸化物ガラス

高速字句解析用集積回路の設計

Paper図書

和田, 英一, 東京大学1986-1987<Y151-S61550254>

National Diet Library

Subject Headingプログラム言語処理系名前表式の評価コンビネータ Lisp

数学概念の理解を目的としたLispプログラミング教育用教材パツケージの開発-高等学校・数学教育を対象としてー

Paper図書

坂元, 昴, 東京工業大学1990-1991<Y151-H01880032>

National Diet Library

Subject Heading情報教育数学教育高校教育 Lisp 数式処理プログラミングカリキユラム開発教材開発

SchneiderのP進L関数とBirchとSwinnerton-Dyerの予想

Paper図書

栗原, 章, 日本女子大学1999-2000<Y151-H11640048>

National Diet Library

Subject Heading保型形式楕円曲線 L関数 p進体 Mumford曲線 BirchとSwinnerton-Dyerの予想 Common Lisp

7th European lisp workshop 2010 : (ELW 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010. : 24th European conference on object-oriented programming : Jun 2010, Maribor, Slovenia.

Paper図書

ACMc2010.<M17-11-2636>

National Diet Library

Subject HeadingLISP (Computer program language) -...
Author HeadingEuropean Lisp Workshop (7th : 2010 : Maribo...

宣言型プログラミング言語処理系の系統的生成

Paper図書

井田, 哲雄, 筑波大学1991-1992<Y151-H03680022>

National Diet Library

Subject Heading関数型プログラミング論理的プログラミング関数・論理型プログラミングの融合ナローイングプログラム変換 Lisp Prolog

人工知能の手法を用いた電磁気学教育システムの作成

Paper図書

大場, 勇治郎, 慶応義塾大学1987-1989<Y151-S62302063>

National Diet Library

Subject Heading電磁気学 ICAI Lisp prolog 学生モデル教授知識ベースプロダクシヨンル...

機械工学で要求される問題解決のための知識表現法およびその処理法に関する研究

Paper図書

中村, 育雄, 名古屋大学1986-1987<Y151-S61460100>

National Diet Library

Subject Heading知識工学問題解決知識表現プロダクシヨンシステム日本語解析機械工学 LISP

Schneiderのp進L関数とBirchとSwinnerton-Dyerの予想

Paper図書

栗原, 章, 日本女子大学1997-1998<Y151-H09640070>

National Diet Library

Subject Heading保型形式楕円曲線 L関数 p進体 Mumford曲線 BirchとSwinnerton-Dyerの予想 Common Lisp

知的情報処理における推論機構の研究

Paper図書

高須, 達, 京都大学1985-1987<Y151-S60580024>

National Diet Library

Subject Headingプログラム合成直観主義述語論理型論理 LISP プログラムの一般化マルチウインドウシステム関数型言語 ...

並列LISPとその処理系の研究

Paper図書

伊藤, 貴康, 東北大学1989-1993<Y151-H01420029>

National Diet Library

Subject Heading並列LISP言語 PaiLisp P-コンテイニユエーシヨン PaiLisp-Kernel 並列インタプリタ並列コンパイラ並列Pro...

The LISP network : evolution to the next-generation of data networks : pbk

Paper図書

Victor Moreno, Dino FarinacciCisco Pressc2019

Other Libraries in Japan

Subject HeadingLISP (Computer program language) C...
Subject Heading (ID)LISP (Computer program language) C...

相補的プログラミング環境の研究

Paper図書

伊藤, 貴康, 東北大学1985-1988<Y151-S60420035>

National Diet Library

Subject Heading相補性相補的プログラミング仕様プログラム意味論ベース並列性検証合成改良構成的論理並列プロセス並列Lisp

Structure and interpretation of computer programs : [pbk.] JavaScript ed

Paper図書

Harold Abelson and Gerald Jay Sussman ; adapted to JavaScript by Martin Henz and Tobias Wrigstad ; with Julie SussmanMIT Pressc2022

Other Libraries in Japan

Subject Heading...er programming LISP (Computer program language)
Subject Heading (ID)...er programming LISP (Computer program language)

Common Lisp recipes : a problem-solution approach

Paper図書

Edmund WeitzApressc2016

Other Libraries in Japan

Subject HeadingLISP (Computer program language)
Subject Heading (ID)LISP (Computer program language)

RSS