WEKO3
アイテム
{"_buckets": {"deposit": "441e135b-1184-42d9-99b8-569b6fdd4850"}, "_deposit": {"created_by": 3, "id": "4280", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "4280"}, "status": "published"}, "_oai": {"id": "oai:toyama.repo.nii.ac.jp:00004280", "sets": ["593"]}, "author_link": ["56773", "56772"], "item_3_alternative_title_19": {"attribute_name": "その他(別言語等)のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "A Recurcive Program for Generating All the Prime Implicants of Boolean Functions"}]}, "item_3_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1982-03", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "12", "bibliographicPageStart": "1", "bibliographicVolumeNumber": "33", "bibliographic_titles": [{"bibliographic_title": "富山大学工学部紀要"}]}]}, "item_3_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "This paper describes a recurcive program for generaing the prime implicants of Boolean functions by utilizing the submap method. The procedure is written in FORTRAN, and the steps of this computing process which consists of two parts of decomposition and composition is explained in datail by a chart form. Especially in the composition process, it is shown that we need a double stack, which has two stack counters, for adding literals to only prime implicants stored in between from one position to the other position of a stack register.", "subitem_description_type": "Abstract"}, {"subitem_description": "本論文は部分マップ法をつかつて,ブール関数の主項を生成する再帰的プログラムについて述べている。\n手続きはFORTRANで書かれ,分解と合成の2つからなるこの計算の処理過程が図式形式でくわしく説明されている。\n特に合成過程においては,スタックレジスタのある位置からある位置までに蓄えられている主項にのみリテラルを付加するために,スタックカウンタを2つもつ,二重スタックが必要となることを示している。", "subitem_description_type": "Abstract"}, {"subitem_description": "再帰的プログラミングはデータサイズnの問題を解く手続きが,いくつかの,より小さなサイズn_1(\u003cn)の手順に分けて,自分自身を副手順として階層的に呼び出していく方法で,プログラミングの形がエレガントになる,メモリが節約できる,問題によっては計算時間の短縮が可能であるなどの特長があるとされている。\n本論文ではブール関数の主項(Prime Implicant)を計算機で能率よく求めるために筆者らが提案している部分マップ法をFORTRAN言語で再帰的プログラミングしてみた結果について述べている。\n前回の部分関数法の場合に比べ,分割する部分問題の数がふえるので,合成過程が複雑となり,スタックカウンタを又スタックレジスタに入れておかなければならない,いわゆる二重スタックが必要となるなどの様相を明らかにする。", "subitem_description_type": "Abstract"}]}, "item_3_description_40": {"attribute_name": "資源タイプ(DSpace)", "attribute_value_mlt": [{"subitem_description": "Article", "subitem_description_type": "Other"}]}, "item_3_description_6": {"attribute_name": "引用", "attribute_value_mlt": [{"subitem_description": "富山大学工学部紀要,33", "subitem_description_type": "Other"}]}, "item_3_full_name_3": {"attribute_name": "著者別名", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "56773", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "MATSUDA, Hideo"}]}]}, "item_3_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.15099/00004274", "subitem_identifier_reg_type": "JaLC"}]}, "item_3_publisher_33": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "富山大学工学部"}]}, "item_3_source_id_10": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AN00175872", "subitem_source_identifier_type": "NCID"}]}, "item_3_source_id_8": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "03871339", "subitem_source_identifier_type": "ISSN"}]}, "item_3_subject_22": {"attribute_name": "国立国会図書館分類", "attribute_value_mlt": [{"subitem_subject": "ZM2", "subitem_subject_scheme": "NDLC"}]}, "item_3_version_type_16": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "松田, 秀雄"}], "nameIdentifiers": [{"nameIdentifier": "56772", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-02-16"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "Kokiyo_33_01_Page001to012.pdf", "filesize": [{"value": "1.6 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1600000.0, "url": {"label": "Kokiyo_33_01_Page001to012.pdf", "url": "https://toyama.repo.nii.ac.jp/record/4280/files/Kokiyo_33_01_Page001to012.pdf"}, "version_id": "cd9beaab-7644-40b7-96d6-2888962fe504"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "ブール関数", "subitem_subject_scheme": "Other"}, {"subitem_subject": "ブール関数の主項", "subitem_subject_scheme": "Other"}, {"subitem_subject": "一再帰的プログラム", "subitem_subject_scheme": "Other"}, {"subitem_subject": "プログラム", "subitem_subject_scheme": "Other"}, {"subitem_subject": "FORTRAN", "subitem_subject_scheme": "Other"}, {"subitem_subject": "二重スタック", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "ブール関数の主項を生成する一再帰的プログラムについて", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "ブール関数の主項を生成する一再帰的プログラムについて"}]}, "item_type_id": "3", "owner": "3", "path": ["593"], "permalink_uri": "https://doi.org/10.15099/00004274", "pubdate": {"attribute_name": "公開日", "attribute_value": "2012-10-03"}, "publish_date": "2012-10-03", "publish_status": "0", "recid": "4280", "relation": {}, "relation_version_is_last": true, "title": ["ブール関数の主項を生成する一再帰的プログラムについて"], "weko_shared_id": -1}
ブール関数の主項を生成する一再帰的プログラムについて
https://doi.org/10.15099/00004274
https://doi.org/10.15099/000042741a3e8980-3727-4a20-9ffc-71eeca13b7de
名前 / ファイル | ライセンス | アクション |
---|---|---|
Kokiyo_33_01_Page001to012.pdf (1.6 MB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2012-10-03 | |||||
タイトル | ||||||
タイトル | ブール関数の主項を生成する一再帰的プログラムについて | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | ブール関数 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | ブール関数の主項 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 一再帰的プログラム | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | プログラム | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | FORTRAN | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 二重スタック | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
ID登録 | ||||||
ID登録 | 10.15099/00004274 | |||||
ID登録タイプ | JaLC | |||||
著者 |
松田, 秀雄
× 松田, 秀雄 |
|||||
著者別名 | ||||||
姓名 | MATSUDA, Hideo | |||||
その他(別言語等)のタイトル | ||||||
その他のタイトル | A Recurcive Program for Generating All the Prime Implicants of Boolean Functions | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | This paper describes a recurcive program for generaing the prime implicants of Boolean functions by utilizing the submap method. The procedure is written in FORTRAN, and the steps of this computing process which consists of two parts of decomposition and composition is explained in datail by a chart form. Especially in the composition process, it is shown that we need a double stack, which has two stack counters, for adding literals to only prime implicants stored in between from one position to the other position of a stack register. | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 本論文は部分マップ法をつかつて,ブール関数の主項を生成する再帰的プログラムについて述べている。 手続きはFORTRANで書かれ,分解と合成の2つからなるこの計算の処理過程が図式形式でくわしく説明されている。 特に合成過程においては,スタックレジスタのある位置からある位置までに蓄えられている主項にのみリテラルを付加するために,スタックカウンタを2つもつ,二重スタックが必要となることを示している。 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 再帰的プログラミングはデータサイズnの問題を解く手続きが,いくつかの,より小さなサイズn_1(<n)の手順に分けて,自分自身を副手順として階層的に呼び出していく方法で,プログラミングの形がエレガントになる,メモリが節約できる,問題によっては計算時間の短縮が可能であるなどの特長があるとされている。 本論文ではブール関数の主項(Prime Implicant)を計算機で能率よく求めるために筆者らが提案している部分マップ法をFORTRAN言語で再帰的プログラミングしてみた結果について述べている。 前回の部分関数法の場合に比べ,分割する部分問題の数がふえるので,合成過程が複雑となり,スタックカウンタを又スタックレジスタに入れておかなければならない,いわゆる二重スタックが必要となるなどの様相を明らかにする。 |
|||||
引用 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 富山大学工学部紀要,33 | |||||
書誌情報 |
富山大学工学部紀要 巻 33, p. 1-12, 発行日 1982-03 |
|||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 03871339 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN00175872 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
国立国会図書館分類 | ||||||
主題Scheme | NDLC | |||||
主題 | ZM2 | |||||
出版者 | ||||||
出版者 | 富山大学工学部 | |||||
資源タイプ(DSpace) | ||||||
内容記述タイプ | Other | |||||
内容記述 | Article |