著者

乾 敦行 工藤 晋太郎 原 耕司 水野 謙 加藤 紀夫 上田 和紀

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.1, pp.1_124-1_150, 2008 (Released:2008-02-29)

---

LMNtalは階層グラフ書換えに基づく単純な言語モデルであり,接続構造の表現に論理変数を,階層構造の表現に膜を用いることを特徴としている.LMNtalは,多重集合や並行処理やモビリティなどの概念を持つさまざまな計算モデルの統合を目指すと同時に,階層グラフ書換えに基づく実用的なプログラミング言語を提供してその有用性を示すことを重要な目標としている.本論文の目的は,プログラミング言語としてのLMNtalの諸機能を紹介し,その記述力を多くの例題を用いて示すことである.我々は,算術,ルール適用制御,モジュール,他言語インタフェースなどの重要機能を階層グラフ書換えモデルの中に組み込む方法を設計し実装した.記述力の検証のためにλ計算,π計算,ambient計算,CHRなどの代表的な関連計算モデルのエンコーディングを行い,それらを実際に処理系上で動作させることに成功した.

著者

加藤 紀夫 上田 和紀

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.46, no.1, pp.155-155, 2005-01-15

---

階層的グラフ構造の書換えに基づく並行言語において,プロセスが形作る構造に関する静的な性質を表現し,解析する新しい枠組みを提案する.本発表では,階層グラフ書換え言語としてLMNtal を例に取り,この言語に型体系を導入する具体的な方法を示す.LMNtal はグラフのノードとしてアトムを持ち,アトム間を結ぶ1 対1 のリンクを持つ.さらにアトムは膜と呼ばれる構文で階層化され,各膜がその膜内に対して局所的に適用される書換えルールを持つ.グラフ書き換え言語をプログラミング言語として見たときには,プログラムの書き方や処理系の最適化に関する指針に関する研究が求められる.しかし,従来の並行グラフ書換え言語は,LMNtal と違って一般のグラフ書き換えを実用に供するプログラミング言語にするというアプローチの研究が不足しているため,一般のプログラムに対して上述の指針を与えるために役に立つ解析技術はあまり存在しない.本発表で提案する型体系は,はじめにアトムをアクティブなものと,非アクティブなものに分類し,アクティブアトムにつながる可能性のあるプロセスやデータを解析することに基づいた強い型をプログラムに導入する.この型体系は,並行論理型言語のうえでの強モード体系をLMNtal に応用したものであるが,膜に関する性質を扱う点で新しい.本発表では,型体系の型安全性を証明する.We propose a new framework for formalizing and analyzing static properties on the shapes of processes in concurrent languages based on hierarchical graph rewriting. We take LMNtal as an example language and show a concrete method to introduce a type system to this language. LMNtal has atoms as graph nodes and one-to-one links that connect together atoms. Moreover, atoms are hierarchized with membranes and each membrane has rewriting rules local to itself. Viewed as programming languages, graph rewriting languages ask for research on how to write programs and how to optimize the runtime system. However, since the graph rewriting languages so far have lacked in research towards making themselves practical programming languages, few analysis techniques exist that can be used for solving the above issues. Our type system firstly classifies atoms into active ones and passive ones, and then introduces to the program strong types based on which processes as well as data can be connected to active atoms. The type system has been obtained by applying the strong mode system of concurrent logic languages to LMNtal, but is new in that it can deal with properties on membranes. The proof of the type safety will be shown.

著者

上田 和紀

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.43, no.7, 2002-07-15

著者

上田 和志 富永 浩之

雑誌

研究報告コンピュータと教育(CE)

巻号頁・発行日

vol.2010-CE-107, no.9, pp.1-8, 2010-11-13

---

類似性に基づくレポート剽窃の検出ツールを開発し,各種の教育支援システムにおいて,オンライン提出モジュールのプラグインとして提供する.類似性の判定には,編集距離および情報距離に基づく 2 つの手法を併用する.特に,プログラミング課題への応用を目指し,効率性と精密性の両立を目指して,適切な事前処理を導入する.ソースコードだけでなくアセンブルコードの組に対しても類似度を算出する.実際の学生の答案として,ポーカーの戦略プログラムの課題に対して適用した結果を報告する.また,軽微なコード変更による隠蔽行為についても,対策を検討する.

著者

中島 秀之 上田 和紀 戸村 哲

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.24, no.6, pp.745-753, 1983-11-15

---

Prologに代表される述語論理型言語は プログラムを その仕様に近い形で記述できることを大きな特徴とする.しかし入出力に関しては 命令型言語と同様 副作用を通じて行うことが多かった.本論文では 述語ではなく変数を通じた 副作用によらないPrologの入出力を論じる.また従来の多くの言語の入出力は データの転送と 内外部表現間の変換を まとまった機能として提供していた.本論文では 入出力はたんなる文字列の転送ととらえ 変換操作は 言語に文字列操作機能を用意し それを用いて記述するようにした.これらの工夫により 入出力の概念が単純でわかりやすいものになり しかもその扱いが柔軟になったと考える.順アクセス媒体との入出力は たんなる文字列変数を通じて行えばよいが データ構造の工夫により 窓構造をもったディスプレイヘの出力も扱える.文字列操作は Prologのパターンマッチング機能を用いて簡潔に記述できる.実行可能パターンの考え方をとりいれてパターンと述語とを統一的に扱うので 文字列に導入した基本操作が連結のみであるにもかかわらず パターンの記述能力は強力である.提案する機能はProIog/KR上に作成中であるが さらに効率のよい作成技法にもふれる.残された課題には 複雑なパターンマッチングにおけるバックトラックの制御などがある.

著者

野中 裕斗 武田 亜矢 横枕 直哉 狩集 弘太 上田 和弘 佐藤 雅美

出版者

一般社団法人 日本呼吸器外科学会

雑誌

日本呼吸器外科学会雑誌 (ISSN:09190945)

巻号頁・発行日

vol.37, no.7, pp.661-665, 2023-11-15 (Released:2023-11-15)

参考文献数

12

---

術中に#3aリンパ節腫大を認め,摘出したところ混合型大細胞神経内分泌癌のスキップ転移であったにも関わらず,長期生存を得た症例を経験したので報告する.症例は45歳, 男性.右S1の原発性肺癌に対し,胸腔鏡下右上葉切除術ならびに肺門縦隔リンパ節郭清を施行した.術中,上大静脈前方に炭粉沈着を伴う腫大した#3aリンパ節を認め,追加で摘出した.病理診断は混合型大細胞神経内分泌癌で,#3aリンパ節のみに転移を認め,pT2a(pl1)N2M0,pStageIIIAと判定した.術後補助化学療法を施行し,術後5年7ヵ月の現在,無再発生存中である.一般的なリンパ節郭清範囲外へスキップ転移する症例もあり,胸腔内の観察と適切な切除が重要である.

著者

多田 昭晴 中川 勉 上田 和男

出版者

The Institute of Electrical Engineers of Japan

雑誌

電気学会論文誌. C (ISSN:03854221)

巻号頁・発行日

vol.102, no.7, pp.155-162, 1982-07-20 (Released:2008-12-19)

参考文献数

19

著者

山極 哲也 酒井 和加子 吉岡 亮 上野 博司 山代 亜紀子 川上 明 荻野 行正 土屋 宣之 大谷 哲之 大里 真之輔 信谷 健太郎 竹浦 嘉子 上林 孝豊 清水 正樹 大西 佳子 上田 和茂

出版者

日本緩和医療学会

雑誌

Palliative Care Research (ISSN:18805302)

巻号頁・発行日

vol.18, no.2, pp.123-128, 2023 (Released:2023-04-24)

参考文献数

11

---

地域全体の緩和ケアの質の向上を図るためには,各施設が緊密につながることが必要であると考え,2017年9月に「京都ホスピス・緩和ケア病棟(PCU)連絡会」を発足させた.個々のPCU施設が抱える問題を気軽に話し合い,共に悩み考え,成長,発展させる場,新規立ち上げ施設を支援する場とした.連絡会では,その時々の話題(緊急入院,輸血,喫煙,遺族会など)をテーマに議論を行った.2020年,COVID-19流行のため連絡会は休会となったが,メール連絡網を用い,感染対策,PCU運営などの意見を交わし,WEB会議システムを用い連絡会を再開させた.日頃より顔の見える関係があることで,COVID-19流行という有事においてもPCU間の連携を維持し,がん治療病院との連携にも発展させることができた.京都府のPCUが一つのチームとなることで,患者,家族がどのような場所においても安心して生活できることを目指している.

著者

湯淺 太一 近山 隆 上田 和紀 森 眞一郎 八杉 昌宏 小宮 常康 五島 正裕

出版者

京都大学

雑誌

特定領域研究

巻号頁・発行日

2001

---

本研究では,計算機システムが備えている広域性と局所性の両方に対応できる適切な計算量モデルとソフトウェアシステムの構築を可能にするために,計算連続体と呼ぶ概念に基づいて,さまざまな観点から,計算に関する既存概念の再検討,統合,および発展を図ってきた.主要な研究成果は次のとおりである.1.計算連続体モデルによる計算量解析本プロジェクトでは,単一計算機内のメモリ階層から計算機間のネットワーク遅延の差異までを,統一的に,かつ簡潔に表現できる計算量モデルとして「計算連続体モデル」を提案し,このモデルに基づいた計算量解析結果が,従来方法よりも現実の計算に近いものであることを示した.また,複雑な並列アルゴリズムに対しても,その振舞いが把握できるように,計算連続体モデルの仮想機械を設計し,実装した.2.並行言語モデルLMNtalに関する研究また本プロジェクトでは,階層グラフの書換えに基づくスケーラブルな並列言語モデルとしてLMNtalを設計し,このモデルの改良を進めてきた.このモデル上でプロセス構造の解析技術を確立するとともに,実用に供するプログラミング言語としての実装を行った.階層グラフ書換えは,多重集合書換え計算モデルや自己組織化に基づく計算モデルなどを特別な場合として含んでおり,既存の多くの計算モデルの架け橋となることが期待できる.3.局所性を重視した処理系実装方式の研究プログラミング言語の実装において,特に局所性を重視することによって,実行性能が飛躍的に向上することを実証した.その例として,階層的グループ化に基づくコピー型ごみ集めによる局所性改善をあげることができる.これは,スタック溢れに備えたキューを併用することにより,少量のスタックで大部分を深さ優先順にコピーするごみ集め方式のさらなる改良の提案であり,仮想記憶の局所性だけでなく,キャッシュの局所性も考慮した実装となっており,実際の計算機上で極めて効率の良い処理系を実現できる技術である.

著者

上田 和紀 加藤 紀夫

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.21, no.2, pp.126-142, 2004-03-25 (Released:2010-01-04)

---

階層的グラフの書換えを基本原理とするプログラミング言語モデルLMNtalについて,設計の背景および関連研究を交えながら解説する.LMNtal(elementalと発音)は,並行計算や多重集合書換えをはじめとするさまざまな計算に関する概念の統合を目指して設計した言語モデルであり,(1)計算モデルとして簡明であることと,(2)多様なプラットフォームで利用可能な実用プログラミング言語のベースとなること,の両立を目指している.処理系も稼働を始めている.本解説ではなるべく多くのプログラム例を交えながら,LMNtalの言語機能について解説するとともに,他の言語や計算モデルに見られる言語機能との関連付けを行なう.関連計算モデルに言及する部分は,並行計算および論理プログラミングに関する初歩的な知識があるとよりよく理解できるあろう.しかし,LMNtal自体の言語機能やプログラム例は予備知識なしで十分理解できるように解説したい.

著者

藤田 博 奥村 晃 上田 和紀

出版者

一般社団法人 人工知能学会

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.4, no.3, pp.258-264, 1989-05-20 (Released:2020-09-29)

著者

上田 和紀

出版者

一般社団法人 人工知能学会

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.18, no.1, pp.102, 2003-01-01 (Released:2020-09-29)

著者

上田 和夫 Ueda Kazuo

出版者

福岡大学研究推進部

雑誌

福岡大学人文論叢 = Fukuoka University Review of Literature & Humanities (ISSN:02852764)

巻号頁・発行日

vol.41, no.1, pp.175-256, 2009-06

著者

上田 和徳 佐藤 誠治

出版者

公益社団法人 日本都市計画学会

雑誌

都市計画論文集 (ISSN:09160647)

巻号頁・発行日

vol.25, pp.385-390, 1990-10-25 (Released:2020-07-01)

参考文献数

4

---

A DATABASE SYSTEM WAS MADE TO ANALYZE THREE-DIMENTIONAL LAND USE IN A CITY CENTER AREA USING COMPUTER GRAPHICS. THE USAGE OF BUILDING FLOORS (THE THREE-DIMENTIONAL LAND USE) IN THE CENTER AREA OF OITA CITY WAS INVESTIGATED. APPROXIMATELY 14,000 UNITS OF LAND USE WERE USED TO FORM THE DATABASE OF THREE-DIMENTIONAL LAND USE. LAND USE IN THE CITY CENTER AREA WAS PLOTTED BY A DENSITY INDICATOR AND A MIXTURE INDICATOR OF LAND USE. A DENSITY INDICATOR AND A MIXTURE INDICATOR IN A CIRCLE AREA WAS CALCULATED BY REGULAR SHIFTING OF A CIRCLE AREA. AND THIS WAS REPRESENTED VISULALLY BY A C.G. METHOD.

著者

上田 和紀

出版者

早稲田大学

雑誌

挑戦的研究(萌芽)

巻号頁・発行日

2018-06-29

---

本年度は,熱可塑性樹脂を用いた積層型3D印刷のための要素技術の有効性確認を主目標に,以下の研究開発を実施した.(1) 大規模構造物の構築技術.土木および建築分野のトラス構造を参照しつつ,長尺のチャネル材を代替するビーム材の設計と試作を行った.寸法精度や強度等の要請からPETG系の素材を用いて,連結・分解が可能で必要な強度をもつビームを,アルミチャネル材の半分以下の重量で作成できる見通しを得た.また設計のパラメタ化を部分的に実現した.構築においては日本伝統建築の継手手法が非常に有効であることを確認した.今後さらに最適化の余地があるが,立体トラスを含む多様な構造への展開の足がかりを得ることができた.(2) 大型プロッタ用ヘッドの設計と構築.前年度設定した,大型ホワイトボードの垂直面で動作するプロッタの構築という課題に対し,ペンとイレーザを搭載可能なプロッタヘッドの試作を行った.プロッタヘッドは複雑な形状と多くの可動部品からなり,交換可能かつ印刷容易な部品から構成するという方針に基づいた結果,約50点の3D印刷部品からなる構成となった.本作業を通じて,(項目(1)で制作した)レールに搭載したヘッド全体のスムーズな移動,構成要素の並進動作や弾性保持,摩擦の最小化などの課題の洗い出しを行った.体系的設計論は今後の課題となったが,ソフトウェアにおけるアジャイル開発に近い開発方法論の有効性を確認した.これらを通じ,実際的な機能部品および多数の部材の組合せが必要な大規模構造物を支えるモジュール化技術およびソフトウェア技術の洗い出しを進めることができた.これとは別に,学部学生実験の自宅展開に利用する機械部品多数(二百数十点)の設計制作を,成果展開の一環として行った.

著者

笠原 佑太 上田 和 上井 美里 横溝 陵 齋藤 良介 白石 絵莉子 駒崎 裕美 岡本 愛光

出版者

日本産科婦人科内視鏡学会

雑誌

日本産科婦人科内視鏡学会雑誌 (ISSN:18849938)

巻号頁・発行日

vol.35, no.1, pp.158-162, 2019

---

<p><b>Introduction:</b> Heterotopic pregnancies are rare, with an incidence of approximately 0.003% in a natural ovulation cycle. We report a case of combined ovarian and intrauterine pregnancies, in which laparoscopic surgery confirmed the diagnosis and enabled successful pregnancy.</p><p><b>Case Report:</b> A 31-year-old nulliparous primigravida had received ovulation-inducing treatment, and pregnancy was successful. At 5 weeks of gestation, one gestational sac was found in the uterus, but at 6 weeks of gestation, a gestational-sac-like structure was found in the right adnexa, and the patient was referred to our hospital. Upon admission, her serum hCG level was 76,303 mIU/mL, and transvaginal ultrasonography revealed the presence of a gestational sac inside the uterus, a gestational-sac-like structure in contact with the right adnexa, and an echo-free space around the uterus. As intraperitoneal bleeding and heterotopic pregnancy were suspected, the risks and benefits of general anesthesia and laparoscopic surgery were explained to the patient, and an emergency laparoscopic surgery was performed.</p><p>  Her intraoperative findings revealed intraperitoneal bleeding and enlargement of the right adnexa, with a 9.3-cm gestational sac adhered to the surface. A diagnosis of ovarian pregnancy with concomitant intrauterine pregnancy was confirmed, and the gestational sac on the right adnexa was removed. The postoperative course was uneventful.</p><p>  A spontaneous vaginal delivery occurred at 39 weeks of gestation and resulted in a live birth.</p><p><b>Conclusions:</b> We report a case of combined ovarian and intrauterine pregnancies. Pregnancy can be adequately continued with appropriate diagnosis and treatment, and laparoscopic surgery may be a useful treatment option.</p><p></p>

著者

アルテンミューラー E. シュラウグ G. 上田 和夫

出版者

一般社団法人 日本音響学会

雑誌

日本音響学会誌 (ISSN:03694232)

巻号頁・発行日

vol.69, no.1, pp.28-37, 2012

参考文献数

50

著者

笠置 延生 上田 和浩 沖津 康平 飯田 敏 杉田 吉充 阿部 孝夫 河田 洋

出版者

一般社団法人日本物理学会

雑誌

秋の分科会講演予稿集

巻号頁・発行日

vol.1990, no.2, 1990-09-12

著者

上田 和志 富永 浩之

雑誌

研究報告コンピュータと教育(CE)

巻号頁・発行日

vol.2010-CE-103, no.4, pp.1-8, 2010-02-27

---

レポートのオンライン提出においては,学生が安易に答案の剽窃を行いやすい.そこで,類似性に基づくレポート剽窃の検出ツールを開発し,各種の教育支援システムにプラグインとして提供する.類似性の判定には,編集距離および圧縮比率に基づく 2 つの手法を併用する.適切な事前処理を行って,実用的な判定精度と効率化を目指す.特に,ソースコードの自動採点システムに導入し,不正行為の摘発だけでなく,レポート提出時の警告にも利用する.

著者

上田 和宏 Kazuhiro Ueda

雑誌

日本福祉大学経済論集

巻号頁・発行日

vol.45, pp.i-ii, 2012-09-30