[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/jp/ - Otaku Culture


View post   

File: 661 KB, 600x600, 1348121145219.png [View same] [iqdb] [saucenao] [google]
31480098 No.31480098 [Reply] [Original]

"Please... please let me go ze~"

The black-white pleaded to the rainbow magician; while battling the forceful urge within her, Marisa begged again. With tears in her eyes, her actions were simply ignored by an apathetic Alice; sitting not even five feet away and reading a book, peering out the corner of her eye at the witch's struggle. Her many dolls completely restricting Marisa's movement in her time of desperation.

"You must..." the witch whined, "please, release your dolls! I can't take it much more..."

Alice remained idle and flipped a page in her book. The pressure within the Marisa grew greater with every passing second, a force that she could never prevent merely with knowledge and wit.

"I... beg of you... please..." a mixture of tears and sweat streamed from the witch's face and made its way to the magician's wooden floor.

"I... I..." with her last shred of willpower, Marisa fell to the floor. With her face down, in a shameless admit of defeat, a puddle formed from under her; the liquid passing through the thin fabric and drenched her dress within mere seconds. A smirk appeared on Alice's face as the liquid expanded on her floor and made it's way up Marisa's body; the magician placed her book down and walked passed the witch, stepping in the shallow puddle of Marisa's urine.

"I hate you... you damn bitch." With her head still facing the floor, tears multiplied in the witch's eyes and diffused with liquid she exerted moments ago. Whelps and sobs came from Marisa's mouth along with mumbles of "damn Alice..." and "I'll never forgive you."

The magician walked back into the room and tapped the witch on the shoulder; looking up, she saw Alice's hand reaching out. Knowing she couldn't continue to wallow in her piss, she picked herself up and hung her head as Alice lead her to another room.

In Alice's bedroom with the door shut behind them, the magician began to remove the soiled dress of the witch; however, she was met with a forceful hand.

"What are you doing ze~? I don't need your help," muddled Marisa with the slightest hint of red in her cheek. "I can do this myself. Also, what are those things..." she pointed to her bed. Alice picked up one of the white objects; "those can't be..." the magician nodded.

Marisa signed with a hint of disgust, "You get weirder everyday, doll freak..." A thought occurred. "Hey, wait, why do you even have those things?" Hesitant, Alice lifted her skirt and revealed that she herself was wearing a diaper. Despite the humility that bestowed onto Marisa minutes ago, a smile came to her face. "So it is true, you do lea..."

>> No.31480115

Alice forcefully grunted and a trio of dolls surrounded the witch. One quickly flew behind Marisa and untied her apron and the other two grabbed the straps of her dress and lifted it over her head; the dolls then flew off with the garments. Before the black-white had a chance to fight it, she stood in Alice's bedroom with nothing but her shirt and soaked bloomers.

Alice, face redden, placed her hand on the witch's shoulders and led her to her bed. Marisa, unsure of what she should do, was forcefully seated on the edge and pushed back by the doll otaku.

Alice excitingly placed her fingers on the witch's waist; as she was about to pull down her bloomers, the magician was met with Marisa's grasp.

"No, ze~. Don't you dare do that." Just then, a group of dolls flew onto Marisa and restrained her arms and legs once again. "Dammit, ze~; let me go!" Alice ignored the demand and pulled down the wet bloomers. Staring at what was now exposed, trickles of blood dripped from the magician's nose.

"You sad, lonely freak." Marisa remarked as it was all she could do. Wiping the drippings of passion from her face, she slid the diaper under Marisa. Sprinkling a blot of powder onto the area, she quickly taped the garment into position before she fainted from blood loss.

Regaining her composure, Alice witnessed what she had accomplished and let out a delightful smile. Flushed with redness, she placed her face next to Marisa's and gave her a quick kiss on the cheek. Then with a soft giggle, she slowly walked toward the door.

"I'll make some tea and cakes." The dollmaster opened the door and exited the room; her minions release their grasp on the witch and followed.

Marisa sat up, hearing the unfamiliar crinkle as Alice's success, and pondered what the magician really meant to her.

Suddenly, a huge black snake head with retarded-looking eyes materialized in front of them, and in a loud booming hiss, asked "Have you read your SICP today?"

The surroundings faded into blackness and within a few moments the group found themselves seated in a lecture hall at MIT, amongst several dozen other students. "Welcome to 6.001" was written on the blackboard, and Professor Gerald Jay Sussman walked into the room, dressed in his robe and wizard hat.

"Is this a hack?" he asked as he glanced around and saw the witch, the magician, Alice, and Marisa.

"What...?" Marisa managed to say, all of the confused by what had just happened.

>> No.31480164

"Nevermind, let's start the lecture." The Sussman said softly.

"I'd like to welcome you to this course on computer science. ... Actually, it's a terrible way to start. Computer science is a terrible name for this business. First of all it's not a science." The Sussman lectured while the students sat and listened attentively.

"What's going on?" Alice whispered to Marisa.

"I have no idea. But this is getting interesting."

"Or we'll actually see that computer... so-called science actually has a lot in common with magic." The Sussman continued.

"But... how can he do that? He's only a human, right?" the witch whispered.

The Sussman, who up until now had paid no attention to the group, turned and stared at the witch with an astonished expression.

"What did you just say?" he asked, pointing his wand at the witch.

All of the other students turned in the direction of the group.

"Nothing," she answered quietly.

"I hope so," The Sussman said in stern tone, ending his pointing with the wand.

"And... well I guess you know everyone needs a magical language and sorcerers, right, real sorcerers use ancient Arcadian, or Sumerian, or Babylonian or whatever. We're gonna control our spirits in a magical language called LISP, which is a language designed for talking about... for casting the spells that are procedures to direct the processes," the Sussman continued, waving his wand around as he spoke.

"What a disappointment. I thought he was going to teach us magic," Marisa muttered almost inaudibly.

>> No.31480342
File: 105 KB, 800x800, 1404175195077.jpg [View same] [iqdb] [saucenao] [google]
31480342

>> No.31483818
File: 500 KB, 848x1200, 1384472779937.jpg [View same] [iqdb] [saucenao] [google]
31483818

Have your read your SICP today, /jp/?

>> No.31488885
File: 203 KB, 600x600, 1278727756556.png [View same] [iqdb] [saucenao] [google]
31488885

Suddenly, a huge black snake head with retarded-looking eyes materialized in front of them and stared menacingly. In a loud booming voice, it asked "HAVE YOU READ YOUR SICP TODAY?" and everything turned black.

When they woke up, they found themselves sitting in a lecture hall at MIT, amonst several dozen other students. "Welcome to 6.001" was written on the board. Professor Gerald Jay Sussman walked into the room, wearing his robe and wizard hat.

"Is this a hack?" he asked as he glanced around and saw the strangely-dressed group, shocked and staring back at him.

"What...?" Patchouli managed to say, all of them confused and unable to understand what had just happened.

"Nevermind, let's start the lecture." The Sussman said softly.

"I'd like to welcome you to this course on computer science. ... Actually, it's a terrible way to start. Computer science is a terrible name for this business. First of all it's not a science." The Sussman lectured while the students sat and listened attentively.

"What's going on?" Koakuma whispered to Patchouli.

"I have no idea. But this is getting interesting."

"Or we'll actually see that computer... so-called science actually has a lot in common with magic." The Sussman continued.

"So procedures are the spells if you like that control these magical spirits that are the processes."

The Sussman produced a wand and waved it in the air, muttering to himself. A bright flash of light filled the room, and a stream of glowing parentheses shot out the end of the wand, dissappearing into the air. The students applauded loudly.

"But... how can he do that? He's only a human, right?" Koakuma whispered.

The Sussman, who up until now had paid no attention to the group, turned and stared at her with an astonished expression.

"What did you just say?" he asked, pointing his wand at her.

"And... well I guess you know everyone needs a magical language and sorcerers, right, real sorcerers use ancient Arcadian, or Sumerian, or Babylonian or whatever. We're gonna control our spirits in a magical language called LISP, which is a language designed for talking about... for casting the spells that are procedures to direct the processes," the Sussman continued, moving his hands in a series of complex movements as he spoke.

"What a disappointment. I thought he was going to teach us magic," Patchouli muttered almost inaudibly.

>> No.31488954
File: 106 KB, 850x758, 1274978318279.jpg [View same] [iqdb] [saucenao] [google]
31488954

Once again, the Sussman quickly turned and stared at her, retrieving his wand and pointing at her with it.

"Excuse me?" he asked, "What did you say again?"

"Nothing," she replied, trying to avoid attention.

"No, I'm pretty sure you said something. Please repeat it for us, so as not to miss a fine learning opportunity."

"She said, 'What a disappointment. I thought he was going to teach us magic'," Koakuma exclaimed. At the sound of those words the Sussman's face turned a bright red.

"HOW DARE YOU DOUBT ME!!" The Sussman shouted angrily. "By the power of the Y combinator I send thee to the land of Java!"

"Now perish!" The Sussman shouted, conjuring a huge pair of parentheses from his wand, which surrounded the group and enveloped them in a closure.

"What do we do now?!?!" Koakuma screamed at Patchouli. "I don't know!" she shouted angrily in reply as the both of them hammered as hard as they could against the invisible, unyielding walls of the closure.

"I hope you learned your lesson, freaks!" The Sussman exclaimed, as the closure rose up towards the ceiling with the two trapped inside, exploding into a shower of white parentheses as it hit the top. The Sussman returned the wand to his pocket and continued lecturing.

...

"Where... are we?" Koakuma whispered as she opened her eyes to find Patchouli lying next to her.

"I think that guy said something about the 'land of Java'" Patchouli said in a low voice as they both sat up to find themselves in an empty office cubicle. The sound of mouse clicks and typing could be heard coming from around them.

They cautiously walked towards the opening of the cubicle, which lead to a long, brightly lit hallway that seemed to go on forever.

"Let's find a way out of this place," Koakuma said.

They walked into the cubicle beside the one they respawned in, but it wasn't empty; there was a desk, a computer, and an expressionless, bald man with startingly white skin sat there, staring into the monitor and pressing the keys frantically. They could see he was playing Perfect Cherry Blossom.

"Umm... excuse me? Could you ---" Koakuma began.

The man remained focused on the game.

"Hello?!?!" Patchouli screamed at him while waving her arms across his eyes. The man remained undisturbed, and continued to graze with astonishing accuracy. Even when she covered her eyes completely he did not miss at all.

"WHAT THE HELL IS THIS?" she exclaimed, kicking him and then the monitor; but nothing refused to move --- it was as if there was a barrier surrounding him.

Seeing that nothing in the cubicle would respond to their attempts at moving or destroying it, they gave up and walked out into the hallway.

"This place sure is wierd," Patchouli commented sadly, "let's see what's in the other ones."

They visited several more cubicles, but the situation was the same; in each one was a man playing one of the Touhou series, and none of them could be disturbed by anything they did. After a while, it became apparent that almost every one of the cubicles was identical, and the hallway seemed to go on forever in either direction.

They continued to walk in silence, looking into the cubicles on either side for any sign of escape. One of them seemed to be empty except for a single purple book lying exactly in the middle, and aligned perfectly with the four walls.

"This one's different! But... what can we do?" Koakuma said as they entered it.

Patchouli reached for the book, and to their surprise it moved with her touch. She picked it up and turned it over.

On the cover was a picture of a wizard and the words "Structure and Interpretation of Computer Programs".

"Structure and Inter--- wait, is this the SICP that snake mentioned before we ---" Koakuma exclaimed.

"I think I remember now!" Patchouli shouted excitedly. "It said something about reading SICP!" She opened it and turned to the first chapter.

They started reading the first chapter, and just as they finished the first section, the lights of the cubicle flickered and the two of them were once again immersed in darkness.

"What now?" Koakuma asked, "didn't we read it?"

A deep rumbling sound was heard, and the floor began to shake. They held onto each other as they felt themselves falling through it, then fainting.

They woke up to find that they were back where they started, and the huge black snake head was still staring at them. Patchouli continued to hold the purple book tightly against her chest.

"You have read your SICP today", the head hissed before disappearing into the air.

>> No.31489676
File: 280 KB, 700x849, Patchy gives you SICP.jpg [View same] [iqdb] [saucenao] [google]
31489676

>>31488954
"Are you borrowing that book?" Patchouli looked up to see a young man smiling at her.

"Umm... hi," she replied weakly, "No, but..."

"Didn't I see you... nevermind. Can I have the book?"

"Ok..." Patchouli said as she gave the book to him, "by the way, didn't I see you..."

"You two were at that lecture hall and..." he started, "I think I haven't introduced myself yet. I'm Sakai Yuji."

"I'm Patchouli Knowledge," she replied.

"You can just call me Koakuma," her partner said.

"What happened? Did the professor...?" he started to say.

"It's a long story, I'll tell you the details if you really want."

"No, I have to go now. Nice meeting you two."

The two of them watched as he walked over to the checkout counter, where the single asian girl had been there earlier. They saw her show her tits to him, though they couldn't hear what they said to each other. Then he walked outside and onto a bus, which seemed to turn black and snakelike as it drove away.

>> No.31490019

>>31489676
"Such perverted beings, these humans," Koakuma said to Patchouli.

>> No.31495577

Best thread on the board, bar Tenshi and Japanese Birb.

>> No.31501390

<span class="sjis">We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells[/spoiler]

>> No.31510110

>>31483818
Yes (no)

>> No.31511171

kuso thread

>> No.31520516 [DELETED] 

.

>> No.31524481

great thread

>> No.31532324

HAHAHAHA
YOU THINK YOURE THOUGH UH ?
I HAVE ONE WORD FOR YOU
THE FORCED ISOLATION OF THE HIKKI
GET IT ?
I DONT THINK SO
YOU DONT KNOW ABOUT MY WAIFU I GUESS ?
SHES 2D
AND IS NAMED ``ALICE''
OK YOU FUQIN ANGERED AN EXPERT NEET
THIS IS /jp/
YOU ARE ALLOWED TO POST HERE ONLY IF YOU HAVE ACHIEVED RONERY
LONELINESS IS ALL ABOUT ``ABSTRACT BULLSHITE'' THAT YOU WILL NEVER COMPREHEND
I HAVE 1CC'D EVERY TOUHOU
IF ITS NOT DONE YOU HAVE TO
TOO BAD IT'S SHIT, RIGHT?
IT'S SHIT
ALSO
WELCOME TO /jp/
EVERY NORMAL WILL BE SHUNNED
NO EXCEPTION

>> No.31532503
File: 163 KB, 675x1800, 1293695816310.jpg [View same] [iqdb] [saucenao] [google]
31532503

Guido van Rossum waited. The lights above him blinked and sparked out of the air. There were trolls in the Internet. He didn't see them, but had expected them now for years. His warnings to Cernel Sussman were not listenend to and now it was too late. Far too late for now, anyway.
Guido was a Python maintainer for fourteen years. When he was young he watched the SICP students and he said to dad "I want to write a programming language daddy."
Dad said "No! You will BE KILL BY TROLLS"
There was a time when he believed him. Then as he got oldered he stopped. But now in the /prog/ board of the W4C he knew there were trolls.
"This is Sussman" the radio crackered. "You must fight the trolls!"
So Guido gotted his browsar and posted a thread.
"HE GOING TO PISS US OFF" said the trolls
"I will flame at him" said the cybertroll and he fired the forced indentation arguments. Guido BAAAWed at him and tried to made him give up. But then the thread was locked and they were trapped and not able to flame.
"No! I must flame the trolls" he shouted
The radio said "No, Guido. You are the trolls"
And then Guido was a forced indentation of the code. Thraed over.

>> No.31532549

IF U WERE FLAMED FOR USING LISP TOMORROW, I WOULDNT GO 2 UR SUICIDE CUZ ID B N DAT CUNTS HOUSE N SHOVE SICP DOWN HIS THROAT!
//`'''```,
o // LISP `.,
,....OOo. .c;.',,,.'``.,,.`
.' ____.,'.//
/ _____ \___/.'
| / || \\---\|
|| || \\ ||
co co co co
WE TRUE SMUG LISP WEENIES
WE READ SICP TOGETHER
WE COUNT PARENTHESES TOGETHER
send this SUAVE SPACE TOAD to every thread you care about including this one if you care. C how many times you get this, if you get 6001 your A TRUE SMUG LISP WEENIE

>> No.31533437
File: 544 KB, 802x640, 1274150570936.png [View same] [iqdb] [saucenao] [google]
31533437

I'd like to welcome you to this course on Hayate no Gotoku. Actually, it's a terrible way to start. Hayate no Gotoku is a terrible name for this anime. First of all it's not about wind. It might be butlers... or it might be wealthy people... Or we'll actually see that Hayate... so-called 'Gotoku' actually has a lot in common with magic. We will see that in this course.

And it's not about wind in the same sense that... that computer science is not really about computers... and Higurashi is not really about cicadas.

And, it's not about wind in the same sense that Haruhi... is not really about using supernatural surveying instruments.

In fact, there's a lot of commonality between Hayate no Gotoku and Haruhi. Haruhi first of all is another anime with a lousy name.

The name comes from 'Harbinger' meaning the sign of things to come, and 'Ruhi' referring to the Ruhi Institute. Haruhi originally meant the future of the Ruhi Institute... or aliens.

And the reason for that was that thousands of years ago the Haruhist priesthood developed rudiments of Haruhism in order to figure out how to restore the the boundaries of forces that were destroyed in the annual rebirth of the universe.

And to the Haruhists who did that, Haruhi-ism really was the use of supernatural surveying instruments. Now, the reason that we think Hayate no Gotoku is about wind is pretty much the same reason that the Haruhiists thought Haruhi-ism was about supernatural surveying instruments, and that is when some field is just getting started and you don't really understand it very well, it's very easy to confuse the essence of what you're doing with the tools that you use.

And indeed on some absolute scale of things we probably know less about the essence of Hayate no Gotoku than the ancient Haruhiists really knew about Haruhi-ism. Well, what's --- what I mean by the essence of Hayate no Gotoku, what I mean by the essence of Haruhi-ism --- See, it's certainly true that these Haruhiists would often use supernatural surveying instruments, but when we look back on them after a couple of thousand years we say "Gee! What they were doing?"

The important stuff they were doing was to begin to formalize notions about space and time --- to start a way of talking about... mathematical truth formally that led to the axiomatic method, that led to... sort of all of modern neo-Haruhi-ism.

Figuring out a way to talk precisely about so-called 'declarative' knowledge --- 'what is true'. Well, similarly, I think in the future
people will look back and say, yes, those --- those primitives in the twentieth century were watching these... primitive slideshows called anime, but really what they were doing is starting to learn how to formalize --- formalize intuitions about... butlers.

How to get others to do things for you. Starting to --- to develop a way to talk precisely about 'how to' knowledge, as opposed to Haruhi-ism that talks about 'what is true'. Let me give you an example of that.

Let's take a look. Here is a piece of... a piece of a dictionary. Right? That says what a butler is.

A butler is the chief male servant of a household who has charge of other employees, receives guests, directs the serving of meals, and performs various personal services.

Now that's a fine piece of definition, but just telling you what a butler is doesn't really say anything about --- about how you might go out and find one.

So let's contrast that with a piece of imperative knowledge. How you might go out and find a butler.

This in fact also comes from Haruhi-ism. Not... uh... not ancient-ancient Haruhi-ism. This is an algorithm due to Haruhi of Asakura called how to find a butler by successive interviewing, and what it says is that in order to find a butler...

... in order to find a butler you... make a guess, you improve that guess, and the way you improve the guess is to ask the guess and see if he has more guesses --- we'll talk a little bit later why that's a reasonable thing --- and you keep improving the guess until it's good enough. That's a method. That's how to do something, as opposed to declarative knowledge
that says what you're looking for. And that's a process. Well, what's a process in general?

It's a kind of hard to say. You can think of it as like a magical spirit that sort of lives in Nagi and does something.

And... the thing that directs a process is a pattern of rules called a procedure. So procedures are the spells, if you like, that control these magical spirits that are the processes.

And... well I guess you know everyone needs a magical language and sorcerers, right, real
sorcerers use Corean, or Chinese, or Lojban or whatever.

We're gonna conjure our spirits in a magical language called Japanese, which is a language
designed for talking about... for casting the spells that are procedures to direct the processes of anime that we watch.

>> No.31533517
File: 193 KB, 1355x882, 1293694474382.jpg [View same] [iqdb] [saucenao] [google]
31533517

>>31533437
Now, it's very easy to learn Japanese. In fact, in a few minutes I'm gonna teach you essentially all of Japanese. I'll teach you
essentially all of the rules... And you shouldn't find that --- that particularly surprising. That's sort of like saying it's very easy to learn the rules of mahjong and indeed in a few minutes you can tell somebody the rules of mahjong but of course that's very different from saying you understand the implications of those rules and how to use those rules to become a masterful mahjong player.

Well, Japanese is the same way. We're gonna state the rules in a few minutes and it will be very easy to see, but what's really hard is gonna be the implications of those rules, like how you exploit those rules to be a master watcher of raw anime.

And the implications of those rules are gonna take us the... well, the whole rest of this subject and of course way beyond.

OK. So, in Hayate no Gotoku we're in the business of formalizing the sort of 'how to' imperative knowledge, like how to get others to do stuff for you.

And real issues of Hayate no Gotoku are of course not, you know, telling people how to find butlers. 'cause if that was all it was it wouldn't be no big deal. The real problems come when we try to build very very large mansions like Nagi's that are --- that are hundreds of square kilometers in size --- so large that nobody can really clean them easily all at once.

And the only reason that that's possible is because there are techniques... There are techniques... for controlling the complexity... of these large mansions.

And these techniques for controlling complexity
are what this course is really about. And in some sense that's really what Hayate no Gotoku is about. Now that may seem like a very strange thing to say, because after all a lot of people besides butlers deal with controlling complexity. A large airliner is an extremely complex system. And the aeronautical engineers
who design that air, you know, are dealing with the men's complexity. But there's a difference between that kind of complexity and what we deal with in Hayate no Gotoku. And that is that Hayate no Gotoku in some sense isn't real.

You see, when an engineer is designing a physical system that's made out of real parts,
the engineers who worry about that have to address problems of tolerance and approximation and noise in the system. So, for example, as an electrical engineer I can go off and easily build a one-stage amplifier or a two-stage amplifier, and I can imagine cascading a lot of
them to build a million-stage amplifier, but it's ridiculous to build such a thing, because by the --- long before the millionth stage the thermal noise in those components way at the beginning is gonna get amplified and make the whole thing meaningless.

We know as much as we want about these little tsundere lolis as we're fitting things together. So there's... We don't have to worry
about tolerance and that means that in building a large mansion there's not all that much difference between what I can build and what I can imagine. Because the parts of these abstract
entities that I know as much as I want. I know about them as precisely as I'd like. So as opposed to other kinds of engineering where the constraints on what you can build are the constraints of physical systems, the constraints
of physics and noise and approximation, the constraints imposed... in building large mansions are the limitations of our own minds.

So in that sense Hayate no Gotoku is like an abstract form of engineering. It's the kind of engineering where you ignore the constraints that are imposed by reality.

OK. Well, what are... what are some of these techniques?

They're not special to Hayate no Gotoku. First technique which is used in all of engineering is a kind of abstraction called black-box abstraction. Take something and build a box about it. Let's see... for example if we looked at that butler-finding method I might want to take that and build a box that sort of says 'to find a butler for x'.

Now it might be a whole complicated set of rules and that might end up being a kind of thing where I can put in, say, Nagi and say what's the butler of Nagi and out comes Hayate.

And the important thing is that I'd like to design that so that if Klaus comes along and would like to find, say, the butler of A and the butler of B he can take this thing and use it as a module without having to look inside and build something that looks like this --- like an A and B, and a butler-finding box, and another butler-finding box, and then something that joins the two together.

>> No.31533673
File: 157 KB, 622x800, 1293695276996.jpg [View same] [iqdb] [saucenao] [google]
31533673

>>31533517
Now it would put out the answer. And you can see, just from the fact that I wanna do that is from Klaus' point of view the internals of what's in here should not be important. So, for instance, it shouldn't matter that when I wrote this I said I wanna find the butler of X. I could've said the butler of Y, or the butler of A, or anything at all, and that's the fundamental notion of... of putting something in a box, using black-box abstraction to suppress detail, and the reason for that is you wanna go off and build... build bigger boxes.

Now, there's another reason for doing black-box abstraction other than you wanna suppress detail
for building bigger boxes. Sometimes you wanna say that your way of doing something, your 'how to' method is an instance of a more general thing, and you'd like your language to be able
to express that generality. Let me show you another example sticking with butler finding. Let's go back and take another look at that slide with the butler-finding algorithm on it.

Remember what that says? That says in order to do something I make a guess, and I improve that guess, and I sort of keep improving that guess. So, there's the general strategy of looking for something, and the way I find it is that I keep improving it.

Now that's a particular case of another kind of strategy for finding a fixed point of something.

To have fixed point of a function... A fixed point... of a function... is something... is a value... Fixed point of a function F is a value Y such that F of Y equals Y. And the way I might do that... is start with a guess, and if I want something that doesn't change when I keep applying F is I keep applying F over and over until that result doesn't change very much. So there's a general strategy and then for example, to find the butler of X I can try and find a fixed point of the function which takes Y to the butler of X and Y, and the idea of that is that if I really had Y equal to the butler of X then Y and the butler of X and Y would be the same value. They'd both be the butler of X.

Right? 'Cause X and the butler of X is the butler of X, and so together, if Y were equal to
the butler of X, then they wouldn't change.

So the butler of X is a fixed point of that particular function. Now, what I'd like to have... I'd like to express the general strategy for finding fixed points. So what I might imagine doing is to find... is to be able to use my language to define a box that says fixed point. Just like I could make a box that says find butler and I'd like to be able to express this in my language. So I'd like to express not only the imperative how to knowledge about a particular thing like finding a butler, but I'd like to be able to express the imperative knowledge of how to do a general thing like how to find fixed point.

And in fact let's go back and look at that slide again. See, not only is... is this a piece of imperative knowledge how to find a fixed point, but over here at the bottom there's another piece of imperative knowledge, which says one way to find a butler is to apply this general fixed point method.

So I'd like to also be able to express that imperative knowledge. What would that look like? That would say this fixed point box is such that if I input to it the function that takes Y to the butler of Y and X then what should come out of that fixed point box is... a method for finding butlers. So in these boxes we're building we're not only building boxes that you input people and output people.

We're gonna be building in boxes that in effect compute methods like finding butlers, and might take as their inputs, functions like Y to the butler of Y and X.

The reason we wanna do that... see, the reason... This is a procedure or end up being
a procedure as we'll see, whose value is another procedure. The reason we wanna do that is because procedures are gonna be our ways of
talking about imperative knowledge. And the way to make that very powerful is to be able to talk
about other kinds of knowledge. So, here is a procedure that in fact talks about another procedure. And the general strategy that itself
talks about general strategies. OK. Well, our first topic in this course --- there will be three major topics --- will be black-box abstraction. Let's look at that in a little bit more detail.

What we're gonna do is we will... We'll start out talking about how Japanese is built up out of primitive objects, what is the language supply with us, and we'll see that there are
primitive procedures and primitive data.

Then we're gonna see how do you take those primitives and combine them to make more complicated things. Means of combination.

And what we'll see is that they're ways of putting things together, putting primitive procedures together to make more complicated procedures. And we'll see how to put primitive data together to make compound data.

>> No.31533733
File: 90 KB, 1284x847, 1293694802798.png [View same] [iqdb] [saucenao] [google]
31533733

>>31533673
Then we'll say: well, having made those compound things, how do you abstract them? How do you put those black boxes around them so you can use them as components in more complex things? And we'll see that's done by defining procedures and a technique for dealing with
compound data called data abstraction. And then
what's maybe the most important thing is going from just the rules to how does an expert work.

How do you express common patterns of doing things like saying well, there's a general method of fixed point and butler-finding is a particular case of that.

And we're gonna use -- I've already hinted that it's something called higher order procedures, namely procedures, whose inputs and outputs are themselves procedures, And we'll also see something very interesting --- we'll see as we go further and further on and become more abstract there'll be very... well... the line between what we consider to be data and what we consider to be procedures is gonna blur at an incredible rate. Right, well, that's our first subject, black-box abstraction.

Let's look at the second topic. I can introduce it... Let's see that like this. Suppose I... I want to express the idea. Remember, we're talking about ideas. Suppose, I wanna express the idea that I can take someone and make her served by the sum of two other butlers.

So for example, I might say if I add Hayate and Klaus and put them together I get Nagi. But I'm talking about general idea of what's called linear combination. That you can add two things
and make them butlers to someone else. It's very easy when I think about it for butlers but suppose I... I also want to use that same idea to think about...

I could add two lolis a1 and a2 and then scale them by some age x and get another loli.

Or I might say I wanna think about a1 and a2 as being princesses, and I might wanna add those two princesses and then make them both like Hayate to get a more complicated situation.

OK. Well, there's an outline of the course, three big topics: Black-box abstraction, conventional interfaces, metalinguistic abstraction. Well, let's take a break now and then we'll get started.

>> No.31545350

Woah

>> No.31552518
File: 207 KB, 1228x810, D70FA8EA-5894-4FB4-84B5-298098034215.jpg [View same] [iqdb] [saucenao] [google]
31552518

This thread is making me lose braincells

>> No.31555366

>>31552518
Those are just braincells taking a vacation.
They will be back soon. Please wait warmly.

>>
Name
E-mail
Subject
Comment
Action